diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/parser/code.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index a30535def..b40394152 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -44,7 +44,7 @@ (<| (_.covering /._) (_.for [/.Parser]) (`` ($_ _.and - (do {! random.monad} + (do [! random.monad] [expected (\ ! each code.bit random.bit)] (_.cover [/.result] (and (|> (/.result /.any (list expected)) @@ -52,7 +52,7 @@ (|> (/.result /.any (list)) (!expect (#try.Failure _)))))) (~~ (template [<query> <check> <random> <code> <equivalence>] - [(do {! random.monad} + [(do [! random.monad] [expected <random> dummy (|> <random> (random.only (|>> (\ <equivalence> = expected) not)))] ($_ _.and @@ -80,7 +80,7 @@ [/.local_tag /.local_tag! (random.unicode 1) code.local_tag text.equivalence] )) (~~ (template [<query> <code>] - [(do {! random.monad} + [(do [! random.monad] [expected_left random.nat expected_right random.int] (_.cover [<query>] @@ -94,7 +94,7 @@ [/.form code.form] [/.tuple code.tuple] )) - (do {! random.monad} + (do [! random.monad] [expected_left random.nat expected_right random.int] (_.cover [/.record] @@ -104,7 +104,7 @@ (!expect (^multi (#try.Success [actual_left actual_right]) (and (\ nat.equivalence = expected_left actual_left) (\ int.equivalence = expected_right actual_right))))))) - (do {! random.monad} + (do [! random.monad] [expected_local random.nat expected_global random.int] (_.cover [/.local] @@ -114,7 +114,7 @@ (!expect (^multi (#try.Success [actual_local actual_global]) (and (\ nat.equivalence = expected_local actual_local) (\ int.equivalence = expected_global actual_global))))))) - (do {! random.monad} + (do [! random.monad] [dummy (\ ! each code.bit random.bit)] (_.cover [/.end?] (|> (/.result (do <>.monad @@ -126,14 +126,14 @@ (list dummy)) (!expect (^multi (#try.Success verdict) verdict))))) - (do {! random.monad} + (do [! random.monad] [dummy (\ ! each code.bit random.bit)] (_.cover [/.end!] (and (|> (/.result /.end! (list)) (!expect (#try.Success []))) (|> (/.result /.end! (list dummy)) (!expect (#try.Failure _)))))) - (do {! random.monad} + (do [! random.monad] [expected (\ ! each code.bit random.bit)] (_.cover [/.next] (|> (/.result (do <>.monad @@ -143,7 +143,7 @@ (same? pre post)))) (list expected)) (!expect (#try.Success _))))) - (do {! random.monad} + (do [! random.monad] [expected (\ ! each code.bit random.bit)] (_.cover [/.not] (and (|> (/.result (/.not /.nat) (list expected)) |