diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/analyser/case.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/new-luxc/test/test/luxc/analyser/case.lux b/new-luxc/test/test/luxc/analyser/case.lux index f75ebce00..e19ac3a0a 100644 --- a/new-luxc/test/test/luxc/analyser/case.lux +++ b/new-luxc/test/test/luxc/analyser/case.lux @@ -4,7 +4,7 @@ (control [monad #+ do] pipe) (data [bool "B/" Eq<Bool>] - ["R" result] + ["R" error] [product] [maybe] [text "T/" Eq<Text>] @@ -12,10 +12,10 @@ (coll [list "L/" Monad<List>] ["S" set])) ["r" math/random "r/" Monad<Random>] - [type "Type/" Eq<Type>] - (type ["tc" check]) - [macro #+ Monad<Lux>] - (macro [code]) + [meta #+ Monad<Meta>] + (meta [code] + [type "type/" Eq<Type>] + (type ["tc" check])) test) (luxc ["&" base] (lang ["la" analysis]) @@ -172,7 +172,7 @@ check-failure)) (test "Can analyse exhaustive pattern-matching." (|> (@module;with-module +0 module-name - (do Monad<Lux> + (do Monad<Meta> [_ (@module;declare-tags variant-tags false (#;Named [module-name variant-name] (type;variant primitivesT))) @@ -185,7 +185,7 @@ check-success)) (test "Will reject non-exhaustive pattern-matching." (|> (@module;with-module +0 module-name - (do Monad<Lux> + (do Monad<Meta> [_ (@module;declare-tags variant-tags false (#;Named [module-name variant-name] (type;variant primitivesT))) @@ -198,7 +198,7 @@ check-failure)) (test "Will reject redundant pattern-matching." (|> (@module;with-module +0 module-name - (do Monad<Lux> + (do Monad<Meta> [_ (@module;declare-tags variant-tags false (#;Named [module-name variant-name] (type;variant primitivesT))) @@ -211,7 +211,7 @@ check-failure)) (test "Will reject pattern-matching if the bodies of the branches do not all have the same type." (|> (@module;with-module +0 module-name - (do Monad<Lux> + (do Monad<Meta> [_ (@module;declare-tags variant-tags false (#;Named [module-name variant-name] (type;variant primitivesT))) |