aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2020-07-24 23:37:00 -0400
committerEduardo Julian2020-07-24 23:37:00 -0400
commit268c21aa6867263b890f5dd2b3038a675bc915f7 (patch)
treeec3f273bb5cac68142001f0f59d2b13490c6b148 /stdlib/source/test
parent80c727065593a4cadcb1d72c38c8ad5c3bf85acc (diff)
Can get the JS(JS) compiler to compile.
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux10
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)))))