diff options
| author | Eduardo Julian | 2020-07-24 23:37:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-07-24 23:37:00 -0400 |
| commit | 268c21aa6867263b890f5dd2b3038a675bc915f7 (patch) | |
| tree | ec3f273bb5cac68142001f0f59d2b13490c6b148 /stdlib/source/test | |
| parent | 80c727065593a4cadcb1d72c38c8ad5c3bf85acc (diff) | |
Can get the JS(JS) compiler to compile.
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))))) |