diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/analyser/case.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/new-luxc/test/test/luxc/analyser/case.lux b/new-luxc/test/test/luxc/analyser/case.lux index 280c52245..98777b5d6 100644 --- a/new-luxc/test/test/luxc/analyser/case.lux +++ b/new-luxc/test/test/luxc/analyser/case.lux @@ -1,7 +1,7 @@ (;module: lux (lux [io] - (control monad + (control [monad #+ do] pipe) (data [bool "B/" Eq<Bool>] ["R" result] @@ -61,7 +61,7 @@ ([#;Nat r;nat code;nat] [#;Int r;int code;int] [#;Deg r;deg code;deg] - [#;Real r;real code;real] + [#;Frac r;frac code;frac] [#;Text (r;text +5) code;text]) (^ [_ (#;Tuple (list))]) @@ -72,7 +72,7 @@ [_ (#;Tuple members)] (do r;Monad<Random> - [member-wise-patterns (mapM @ (total-branches-for variantTC) members)] + [member-wise-patterns (monad;map @ (total-branches-for variantTC) members)] (wrap (|> member-wise-patterns total-weaving (L/map code;tuple)))) @@ -81,20 +81,20 @@ (do r;Monad<Random> [#let [ks (L/map product;left kvs) vs (L/map product;right kvs)] - member-wise-patterns (mapM @ (total-branches-for variantTC) vs)] + member-wise-patterns (monad;map @ (total-branches-for variantTC) vs)] (wrap (|> member-wise-patterns total-weaving (L/map (|>. (list;zip2 ks) code;record))))) (^ [_ (#;Form (list [_ (#;Tag _)] _))]) (do r;Monad<Random> - [bundles (mapM @ - (function [[_tag _code]] - (do @ - [v-branches (total-branches-for variantTC _code)] - (wrap (L/map (function [pattern] (` ((~ _tag) (~ pattern)))) - v-branches)))) - variantTC)] + [bundles (monad;map @ + (function [[_tag _code]] + (do @ + [v-branches (total-branches-for variantTC _code)] + (wrap (L/map (function [pattern] (` ((~ _tag) (~ pattern)))) + v-branches)))) + variantTC)] (wrap (L/join bundles))) _ |