diff options
author | Eduardo Julian | 2017-10-11 18:57:44 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-10-11 18:57:44 -0400 |
commit | 74a835634fc9ee5457f3cc7109af069dad9f2d2f (patch) | |
tree | dec444467ecde32ac165627f782f315ac41567e8 /new-luxc/source/luxc/analyser.lux | |
parent | ccabfc6a5e41650788199cb8fd5d87731f094bcd (diff) |
- Migrated new-luxc to latest version of stdlib.
- Some refactoring.
Diffstat (limited to '')
-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 |