diff options
Diffstat (limited to 'stdlib/source/test/lux/control/parser.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/parser.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 31b5ac78a..487f9984b 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -35,34 +35,34 @@ (text#= expected actual) _ - #0)) + false)) (def (enforced? parser input) (All (_ s) (-> (Parser s Any) s Bit)) (case (/.result parser input) {try.#Success [_ []]} - #1 + true _ - #0)) + false)) (def (found? parser input) (All (_ s) (-> (Parser s Bit) s Bit)) (case (/.result parser input) - {try.#Success [_ #1]} - #1 + {try.#Success [_ .true]} + true _ - #0)) + false)) (def (fails? input) (All (_ a) (-> (Try a) Bit)) (case input {try.#Failure _} - #1 + true _ - #0)) + false)) (def match (syntax (_ [pattern <code>.any @@ -73,7 +73,7 @@ (, then) (,' _) - #0)))))) + false)))))) (def combinators_0 Test @@ -93,7 +93,7 @@ (|> (list (code.int (.int expected0))) (/.result (/.maybe <code>.nat)) (match {.#None} - #1)))) + true)))) (_.coverage [/.some] (and (|> (list#each code.nat expected+) (/.result (/.some <code>.nat)) @@ -102,7 +102,7 @@ (|> (list#each (|>> .int code.int) expected+) (/.result (/.some <code>.nat)) (match {.#End} - #1)))) + true)))) (_.coverage [/.many] (and (|> (list#each code.nat expected+) (/.result (/.many <code>.nat)) @@ -163,7 +163,7 @@ fails?) (|> (list (code.bit not0)) (/.result (/.not <code>.nat)) - (match [] #1)))) + (match [] true)))) ))) (def combinators_1 @@ -365,10 +365,10 @@ (should_fail failure)))) (_.coverage [/.assertion] (and (|> (list (code.bit #1) (code.int +123)) - (/.result (/.assertion assertion #1)) + (/.result (/.assertion assertion true)) (match [] true)) (|> (list (code.bit #1) (code.int +123)) - (/.result (/.assertion assertion #0)) + (/.result (/.assertion assertion false)) fails?))) ..combinators_0 ..combinators_1 |