The Python compiler can now be compiled by the new JVM compiler.

1 files changed, 6 insertions, 6 deletions

diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index d148e9fdc..12370e87a 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -421,12 +421,12 @@
                                 [[id/T var/tail] /.var]
                                 (in var/tail)))
                           (list.repeated tail_size /.var))
-     var/last (monad.fold ! (function (_ var/next var/prev)
-                              (do !
-                                [_ (/.check var/prev var/next)]
-                                (in var/next)))
-                          var/head
-                          var/tail+)
+     var/last (monad.mix ! (function (_ var/next var/prev)
+                             (do !
+                               [_ (/.check var/prev var/next)]
+                               (in var/next)))
+                         var/head
+                         var/tail+)
      _ (/.check var/last var/head)]
     (in [var/head var/tail+ var/last])))