diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/parser/synthesis.lux | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 5dbf6a383..1896d4ca4 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -27,7 +27,7 @@ [language [lux [analysis (#+ Environment)] - ["." synthesis]]]]]] + ["." synthesis (#+ Synthesis)]]]]]] {1 ["." /]}) @@ -50,10 +50,12 @@ random.nat)) (def: random-environment - (Random Environment) + (Random (Environment Synthesis)) (do {@ random.monad} [size (:: @ map (n.% 5) random.nat)] - (random.list size ..random-variable))) + (|> ..random-variable + (:: @ map (|>> synthesis.variable)) + (random.list size)))) (def: #export test Test @@ -145,7 +147,7 @@ (and (|> (/.run (/.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 variable.equivalence) = + (and (:: (list.equivalence synthesis.equivalence) = expected-environment actual-environment) (:: text.equivalence = expected-body actual-body))))) |