diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/parser/synthesis.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index e47523481..ca405d495 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -52,7 +52,7 @@ (def: random_environment (Random (Environment Synthesis)) - (do {! random.monad} + (do [! random.monad] [size (\ ! each (n.% 5) random.nat)] (|> ..random_variable (\ ! each (|>> synthesis.variable)) @@ -62,7 +62,7 @@ Test (`` ($_ _.and (~~ (template [<query> <check> <random> <synthesis> <equivalence>] - [(do {! random.monad} + [(do [! random.monad] [expected <random> dummy (|> <random> (random.only (|>> (\ <equivalence> = expected) not)))] ($_ _.and @@ -91,7 +91,7 @@ (def: complex Test ($_ _.and - (do {! random.monad} + (do [! random.monad] [expected_bit random.bit expected_i64 (\ ! each .i64 random.nat) expected_f64 random.safe_frac @@ -111,7 +111,7 @@ (list (synthesis.text expected_text))) (!expect (^multi (#try.Failure error) (exception.match? /.cannot_parse error))))))) - (do {! random.monad} + (do [! random.monad] [arity random.nat expected_environment ..random_environment expected_body (random.unicode 1)] @@ -127,7 +127,7 @@ (list (synthesis.text expected_body))) (!expect (^multi (#try.Failure error) (exception.match? /.cannot_parse error))))))) - (do {! random.monad} + (do [! random.monad] [arity random.nat expected_environment ..random_environment expected_body (random.unicode 1)] @@ -136,7 +136,7 @@ (list (synthesis.function/abstraction [expected_environment arity (synthesis.text expected_body)]))) (!expect (^multi (#try.Failure error) (exception.match? /.wrong_arity error)))))) - (do {! random.monad} + (do [! random.monad] [arity (\ ! each (|>> (n.% 10) ++) random.nat) expected_offset random.nat expected_inits (random.list arity random.bit) @@ -163,7 +163,7 @@ (<| (_.covering /._) (_.for [/.Parser]) ($_ _.and - (do {! random.monad} + (do [! random.monad] [expected (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.result /.any] (|> (/.result /.any (list expected)) @@ -173,13 +173,13 @@ (|> (/.result /.any (list)) (!expect (^multi (#try.Failure error) (exception.match? /.empty_input error))))) - (do {! random.monad} + (do [! random.monad] [expected (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.unconsumed_input] (|> (/.result /.any (list expected expected)) (!expect (^multi (#try.Failure error) (exception.match? /.unconsumed_input error)))))) - (do {! random.monad} + (do [! random.monad] [dummy (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.end! /.expected_empty_input] (and (|> (/.result /.end! (list)) @@ -187,7 +187,7 @@ (|> (/.result /.end! (list dummy)) (!expect (^multi (#try.Failure error) (exception.match? /.expected_empty_input error))))))) - (do {! random.monad} + (do [! random.monad] [dummy (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.end?] (and (|> (/.result /.end? (list)) |