diff options
Diffstat (limited to 'stdlib/source/test/lux/control/parser/synthesis.lux')
-rw-r--r-- | stdlib/source/test/lux/control/parser/synthesis.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 161ee54bc..854206355 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -14,7 +14,7 @@ ["[0]" name] ["[0]" text] [collection - ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" list ("[1]#[0]" functor)]]] [math ["[0]" random {"+" [Random]}] [number @@ -53,9 +53,9 @@ (def: random_environment (Random (Environment Synthesis)) (do [! random.monad] - [size (\ ! each (n.% 5) random.nat)] + [size (# ! each (n.% 5) random.nat)] (|> ..random_variable - (\ ! each (|>> synthesis.variable)) + (# ! each (|>> synthesis.variable)) (random.list size)))) (def: simple @@ -64,12 +64,12 @@ (~~ (template [<query> <check> <random> <synthesis> <equivalence>] [(do [! random.monad] [expected <random> - dummy (|> <random> (random.only (|>> (\ <equivalence> = expected) not)))] + dummy (|> <random> (random.only (|>> (# <equivalence> = expected) not)))] ($_ _.and (_.cover [<query>] (|> (/.result <query> (list (<synthesis> expected))) (!expect (^multi {try.#Success actual} - (\ <equivalence> = expected actual))))) + (# <equivalence> = expected actual))))) (_.cover [<check>] (and (|> (/.result (<check> expected) (list (<synthesis> expected))) (!expect {try.#Success _})) @@ -79,7 +79,7 @@ ))] [/.bit /.bit! random.bit synthesis.bit bit.equivalence] - [/.i64 /.i64! (\ ! each .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 (\ ! each .i64 random.nat) + expected_i64 (# ! each .i64 random.nat) expected_f64 random.safe_frac expected_text (random.unicode 1)] (_.cover [/.tuple] @@ -103,10 +103,10 @@ (synthesis.f64 expected_f64) (synthesis.text expected_text))))) (!expect (^multi {try.#Success [actual_bit actual_i64 actual_f64 actual_text]} - (and (\ bit.equivalence = expected_bit actual_bit) - (\ i64.equivalence = expected_i64 actual_i64) - (\ frac.equivalence = expected_f64 actual_f64) - (\ text.equivalence = expected_text actual_text))))) + (and (# bit.equivalence = expected_bit actual_bit) + (# i64.equivalence = expected_i64 actual_i64) + (# frac.equivalence = expected_f64 actual_f64) + (# text.equivalence = expected_text actual_text))))) (|> (/.result (/.tuple ($_ <>.and /.bit /.i64 /.f64 /.text)) (list (synthesis.text expected_text))) (!expect (^multi {try.#Failure error} @@ -119,10 +119,10 @@ (and (|> (/.result (/.function arity /.text) (list (synthesis.function/abstraction [expected_environment arity (synthesis.text expected_body)]))) (!expect (^multi {try.#Success [actual_environment actual_body]} - (and (\ (list.equivalence synthesis.equivalence) = + (and (# (list.equivalence synthesis.equivalence) = expected_environment actual_environment) - (\ text.equivalence = expected_body actual_body))))) + (# text.equivalence = expected_body actual_body))))) (|> (/.result (/.function arity /.text) (list (synthesis.text expected_body))) (!expect (^multi {try.#Failure error} @@ -137,21 +137,21 @@ (!expect (^multi {try.#Failure error} (exception.match? /.wrong_arity error)))))) (do [! random.monad] - [arity (\ ! each (|>> (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\each (|>> 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) - (\ (list.equivalence bit.equivalence) = + (and (# n.equivalence = expected_offset actual_offset) + (# (list.equivalence bit.equivalence) = expected_inits actual_inits) - (\ text.equivalence = expected_body actual_body))))) + (# text.equivalence = expected_body actual_body))))) (|> (/.result (/.loop (<>.many /.bit) /.text) (list (synthesis.text expected_body))) (!expect (^multi {try.#Failure error} @@ -164,23 +164,23 @@ (_.for [/.Parser]) ($_ _.and (do [! random.monad] - [expected (\ ! each (|>> synthesis.i64) random.nat)] + [expected (# ! each (|>> synthesis.i64) random.nat)] (_.cover [/.result /.any] (|> (/.result /.any (list expected)) (!expect (^multi {try.#Success actual} - (\ synthesis.equivalence = expected actual)))))) + (# synthesis.equivalence = expected actual)))))) (_.cover [/.empty_input] (|> (/.result /.any (list)) (!expect (^multi {try.#Failure error} (exception.match? /.empty_input error))))) (do [! random.monad] - [expected (\ ! each (|>> 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 (\ ! each (|>> 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 (\ ! each (|>> synthesis.i64) random.nat)] + [dummy (# ! each (|>> synthesis.i64) random.nat)] (_.cover [/.end?] (and (|> (/.result /.end? (list)) (!expect {try.#Success #1})) |