From 268c21aa6867263b890f5dd2b3038a675bc915f7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 24 Jul 2020 23:37:00 -0400
Subject: Can get the JS(JS) compiler to compile.

---
 stdlib/source/test/lux/control/parser/synthesis.lux | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test')

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)))))
-- 
cgit v1.2.3