diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/parser.lux | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index c5fdb888a..c0f1d05f6 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -90,7 +90,7 @@ Test (do [! random.monad] [expected0 random.nat - variadic (# ! each (|>> (n.max 1) (n.min 20)) random.nat) + variadic (at ! each (|>> (n.max 1) (n.min 20)) random.nat) expected+ (random.list variadic random.nat) even0 (random.only n.even? random.nat) odd0 (random.only n.odd? random.nat) @@ -109,7 +109,7 @@ (and (|> (list#each code.nat expected+) (/.result (/.some <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = expected+ actual))) + (at (list.equivalence n.equivalence) = expected+ actual))) (|> (list#each (|>> .int code.int) expected+) (/.result (/.some <code>.nat)) (match {.#End} @@ -118,7 +118,7 @@ (and (|> (list#each code.nat expected+) (/.result (/.many <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = expected+ actual))) + (at (list.equivalence n.equivalence) = expected+ actual))) (|> (list (code.nat expected0)) (/.result (/.many <code>.nat)) (match (list actual) @@ -180,8 +180,8 @@ (def: combinators_1 Test (do [! random.monad] - [variadic (# ! each (|>> (n.max 1) (n.min 20)) random.nat) - times (# ! each (n.% variadic) random.nat) + [variadic (at ! each (|>> (n.max 1) (n.min 20)) random.nat) + times (at ! each (n.% variadic) random.nat) expected random.nat wrong (|> random.nat (random.only (|>> (n.= expected) not))) expected+ (random.list variadic random.nat) @@ -191,9 +191,9 @@ (and (|> (list#each code.nat expected+) (/.result (/.exactly times <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - (list.first times expected+) - actual))) + (at (list.equivalence n.equivalence) = + (list.first times expected+) + actual))) (|> (list#each code.nat expected+) (/.result (/.exactly (++ variadic) <code>.nat)) fails?))) @@ -201,9 +201,9 @@ (and (|> (list#each code.nat expected+) (/.result (/.at_least times <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - expected+ - actual))) + (at (list.equivalence n.equivalence) = + expected+ + actual))) (|> (list#each code.nat expected+) (/.result (/.at_least (++ variadic) <code>.nat)) fails?))) @@ -211,44 +211,44 @@ (and (|> (list#each code.nat expected+) (/.result (/.at_most times <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - (list.first times expected+) - actual))) + (at (list.equivalence n.equivalence) = + (list.first times expected+) + actual))) (|> (list#each code.nat expected+) (/.result (/.at_most (++ variadic) <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - expected+ - actual))))) + (at (list.equivalence n.equivalence) = + expected+ + actual))))) (_.coverage [/.between] (and (|> (list#each code.nat expected+) (/.result (/.between times (n.- times variadic) <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - expected+ - actual))) + (at (list.equivalence n.equivalence) = + expected+ + actual))) (|> (list#each code.nat (list.first times expected+)) (/.result (/.between times (n.- times variadic) <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - (list.first times expected+) - actual))))) + (at (list.equivalence n.equivalence) = + (list.first times expected+) + actual))))) (_.coverage [/.separated_by] (|> (list.interposed (code.text separator) (list#each code.nat expected+)) (/.result (/.separated_by (<code>.this (code.text separator)) <code>.nat)) (match actual - (# (list.equivalence n.equivalence) = - expected+ - actual)))) + (at (list.equivalence n.equivalence) = + expected+ + actual)))) (_.coverage [/.remaining] (|> (list#each code.nat expected+) (/.result /.remaining) (match actual - (# (list.equivalence code.equivalence) = - (list#each code.nat expected+) - actual)))) + (at (list.equivalence code.equivalence) = + (list#each code.nat expected+) + actual)))) (_.coverage [/.else] - (and (|> (/.result (/.else wrong (# /.monad in expected)) (list)) + (and (|> (/.result (/.else wrong (at /.monad in expected)) (list)) (match actual (n.= expected actual))) (|> (/.result (/.else expected (/.failure "yolo")) (list)) @@ -332,7 +332,7 @@ (def: injection (Injection (All (_ a i) (Parser i a))) - (# /.monad in)) + (at /.monad in)) (def: comparison (Comparison (All (_ a i) (Parser i a))) @@ -361,7 +361,7 @@ ($monad.spec ..injection ..comparison /.monad)) (_.coverage [/.result] - (|> (/.result (# /.monad in expected) (list)) + (|> (/.result (at /.monad in expected) (list)) (match actual (n.= expected actual)))) (_.coverage [/.failure] (|> (list) |