diff options
Diffstat (limited to 'new-luxc/source/luxc/analyser.lux')
| -rw-r--r-- | new-luxc/source/luxc/analyser.lux | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/new-luxc/source/luxc/analyser.lux b/new-luxc/source/luxc/analyser.lux index f17ec8496..ba6003440 100644 --- a/new-luxc/source/luxc/analyser.lux +++ b/new-luxc/source/luxc/analyser.lux @@ -2,13 +2,10 @@ lux (lux (control monad) (data ["R" result] - [text "T/" Eq<Text>] - text/format - [number] - [product]) - [macro #+ Monad<Lux>] + text/format) + [macro] [type] - (type ["TC" check])) + (type ["tc" check])) (luxc ["&" base] (lang ["la" analysis]) ["&;" module]) @@ -25,10 +22,10 @@ (-> (List Code) (Lux (List [Code Code]))) (case raw (^ (list)) - (:: Monad<Lux> wrap (list)) + (:: macro;Monad<Lux> wrap (list)) (^ (list& patternH bodyH inputT)) - (do Monad<Lux> + (do macro;Monad<Lux> [outputT (to-branches inputT)] (wrap (list& [patternH bodyH] outputT))) @@ -88,7 +85,7 @@ (^ (#;Form (list& [_ (#;Symbol ["" "_lux_case"])] input branches))) - (do Monad<Lux> + (do macro;Monad<Lux> [paired (to-branches branches)] (&&case;analyse-case analyse input paired)) @@ -105,7 +102,7 @@ [#;Tag &&structure;analyse-tagged-sum]) (^ (#;Form (list& func args))) - (do Monad<Lux> + (do macro;Monad<Lux> [[funcT =func] (&&common;with-unknown-type (analyse func))] (case =func |