diff options
Diffstat (limited to 'stdlib/source/test/lux/control/parser/synthesis.lux')
| -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 e412ff262..82b851696 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -53,9 +53,9 @@ (def: random_environment (Random (Environment Synthesis)) (do {! random.monad} - [size (\ ! map (n.% 5) random.nat)] + [size (\ ! each (n.% 5) random.nat)] (|> ..random_variable - (\ ! map (|>> synthesis.variable)) + (\ ! each (|>> synthesis.variable)) (random.list size)))) (def: simple @@ -79,7 +79,7 @@ ))] [/.bit /.bit! random.bit synthesis.bit bit.equivalence] - [/.i64 /.i64! (\ ! map .i64 random.nat) synthesis.i64 i64.equivalence] + [/.i64 /.i64! (\ ! each .i64 random.nat) synthesis.i64 i64.equivalence] [/.f64 /.f64! random.safe_frac synthesis.f64 frac.equivalence] [/.text /.text! (random.unicode 1) synthesis.text text.equivalence] [/.local /.local! random.nat synthesis.variable/local n.equivalence] @@ -93,7 +93,7 @@ ($_ _.and (do {! random.monad} [expected_bit random.bit - expected_i64 (\ ! map .i64 random.nat) + expected_i64 (\ ! each .i64 random.nat) expected_f64 random.safe_frac expected_text (random.unicode 1)] (_.cover [/.tuple] @@ -137,14 +137,14 @@ (!expect (^multi (#try.Failure error) (exception.match? /.wrong_arity error)))))) (do {! random.monad} - [arity (\ ! map (|>> (n.% 10) ++) random.nat) + [arity (\ ! each (|>> (n.% 10) ++) random.nat) expected_offset random.nat expected_inits (random.list arity random.bit) expected_body (random.unicode 1)] (_.cover [/.loop] (and (|> (/.result (/.loop (<>.many /.bit) /.text) (list (synthesis.loop/scope [expected_offset - (list\map (|>> synthesis.bit) expected_inits) + (list\each (|>> synthesis.bit) expected_inits) (synthesis.text expected_body)]))) (!expect (^multi (#try.Success [actual_offset actual_inits actual_body]) (and (\ n.equivalence = expected_offset actual_offset) @@ -164,7 +164,7 @@ (_.for [/.Parser]) ($_ _.and (do {! random.monad} - [expected (\ ! map (|>> synthesis.i64) random.nat)] + [expected (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.result /.any] (|> (/.result /.any (list expected)) (!expect (^multi (#try.Success actual) @@ -174,13 +174,13 @@ (!expect (^multi (#try.Failure error) (exception.match? /.empty_input error))))) (do {! random.monad} - [expected (\ ! map (|>> synthesis.i64) random.nat)] + [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} - [dummy (\ ! map (|>> synthesis.i64) random.nat)] + [dummy (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.end! /.expected_empty_input] (and (|> (/.result /.end! (list)) (!expect (#try.Success _))) @@ -188,7 +188,7 @@ (!expect (^multi (#try.Failure error) (exception.match? /.expected_empty_input error))))))) (do {! random.monad} - [dummy (\ ! map (|>> synthesis.i64) random.nat)] + [dummy (\ ! each (|>> synthesis.i64) random.nat)] (_.cover [/.end?] (and (|> (/.result /.end? (list)) (!expect (#try.Success #1))) |