diff options
author | Eduardo Julian | 2017-12-02 14:32:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-02 14:32:23 -0400 |
commit | c72e120e8c2c300411c0cb07ecb3b6bc32e0cb24 (patch) | |
tree | 0783fac3f94ea4765dfc91b0fe85b9b1a37cb5d8 /stdlib/source/lux.lux | |
parent | 5c4a26c9344898c4fa958946b47b55e1c84818bd (diff) |
- Added some ~! to some macros to stop them from imposing dependencies.
- Added some code to "lux.type" so it can handle "lux in-module".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux.lux | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index d7b4164e2..ebac83f40 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2598,6 +2598,12 @@ [_ (#Tuple members)] (` (& (~+ (list/map walk-type members)))) + [_ (#Form (#Cons [_ (#Text "lux in-module")] + (#Cons [_ (#Text module)] + (#Cons type' + #Nil))))] + (` ("lux in-module" (~ (text$ module)) (~ (walk-type type')))) + [_ (#Form (#Cons type-fn args))] (list/fold ("lux check" (-> Code Code Code) (function' [arg type-fn] (` (#.Apply (~ arg) (~ type-fn))))) |