diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/parser/type.lux | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 10925cb12..729551843 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -7,12 +7,12 @@ ["." try] ["." exception]] [data - ["." name ("#@." equivalence)] + ["." name ("#\." equivalence)] [number ["n" nat]]] [math ["." random (#+ Random)]] - ["." type ("#@." equivalence)]] + ["." type ("#\." equivalence)]] {1 ["." / ["/#" //]]}) @@ -36,7 +36,7 @@ (<| (_.with-cover [/.types-do-not-match]) (do {! random.monad} [expected ..primitive - dummy (random.filter (|>> (type@= expected) not) + dummy (random.filter (|>> (type\= expected) not) ..primitive)]) ($_ _.and (_.cover [/.exactly] @@ -79,9 +79,9 @@ (and (|> (/.run (<parser> ($_ //.and /.any /.any /.any)) (<good-constructor> (list expected-left expected-middle expected-right))) (!expect (^multi (#try.Success [actual-left actual-middle actual-right]) - (and (type@= expected-left actual-left) - (type@= expected-middle actual-middle) - (type@= expected-right actual-right))))) + (and (type\= expected-left actual-left) + (type\= expected-middle actual-middle) + (type\= expected-right actual-right))))) (|> (/.run (<parser> ($_ //.and /.any /.any /.any)) (<bad-constructor> (list expected-left expected-middle expected-right))) (!expect (^multi (#try.Failure error) @@ -95,9 +95,9 @@ (and (|> (/.run (/.function ($_ //.and /.any /.any) /.any) (type.function (list expected-left expected-middle) expected-right)) (!expect (^multi (#try.Success [[actual-left actual-middle] actual-right]) - (and (type@= expected-left actual-left) - (type@= expected-middle actual-middle) - (type@= expected-right actual-right))))) + (and (type\= expected-left actual-left) + (type\= expected-middle actual-middle) + (type\= expected-right actual-right))))) (|> (/.run (/.function ($_ //.and /.any /.any) /.any) (type.variant (list expected-left expected-middle expected-right))) (!expect (^multi (#try.Failure error) @@ -106,9 +106,9 @@ (and (|> (/.run (/.apply ($_ //.and /.any /.any /.any)) (type.application (list expected-middle expected-right) expected-left)) (!expect (^multi (#try.Success [actual-left actual-middle actual-right]) - (and (type@= expected-left actual-left) - (type@= expected-middle actual-middle) - (type@= expected-right actual-right))))) + (and (type\= expected-left actual-left) + (type\= expected-middle actual-middle) + (type\= expected-right actual-right))))) (|> (/.run (/.apply ($_ //.and /.any /.any /.any)) (type.variant (list expected-left expected-middle expected-right))) (!expect (^multi (#try.Failure error) @@ -125,7 +125,7 @@ (_.cover [/.run /.any] (|> (/.run /.any expected) (!expect (^multi (#try.Success actual) - (type@= expected actual)))))) + (type\= expected actual)))))) (do {! random.monad} [expected ..primitive] (_.cover [/.peek /.unconsumed-input] @@ -135,7 +135,7 @@ (wrap actual)) expected) (!expect (^multi (#try.Success actual) - (type@= expected actual)))) + (type\= expected actual)))) (|> (/.run /.peek expected) (!expect (^multi (#try.Failure error) (exception.match? /.unconsumed-input error))))))) @@ -165,7 +165,7 @@ (is? /.fresh environment)))))) (do {! random.monad} [expected ..primitive - dummy (random.filter (|>> (type@= expected) not) + dummy (random.filter (|>> (type\= expected) not) ..primitive)] (_.cover [/.local] (|> (/.run (do //.monad @@ -174,7 +174,7 @@ /.any)) dummy) (!expect (^multi (#try.Success actual) - (type@= expected actual)))))) + (type\= expected actual)))))) (do {! random.monad} [expected random.nat] (_.cover [/.existential /.not-existential] @@ -190,8 +190,8 @@ (|> (/.run /.named (#.Named expected-name expected-type)) (!expect (^multi (#try.Success [actual-name actual-type]) - (and (name@= expected-name actual-name) - (type@= expected-type actual-type))))))) + (and (name\= expected-name actual-name) + (type\= expected-type actual-type))))))) ..aggregate ..matches ))) |