- Migrated new-luxc to latest version of stdlib.

- Some refactoring.

1 files changed, 4 insertions, 3 deletions

diff --git a/new-luxc/source/luxc/synthesizer/loop.lux b/new-luxc/source/luxc/synthesizer/loop.lux
index 9f4d09a49..ad4504f41 100644
--- a/new-luxc/source/luxc/synthesizer/loop.lux
+++ b/new-luxc/source/luxc/synthesizer/loop.lux
@@ -1,7 +1,8 @@
 (;module:
   lux
-  (lux (data (coll [list "L/" Functor<List>])
-             text/format))
+  (lux (data [maybe]
+             text/format
+             (coll [list "L/" Functor<List>])))
   (luxc (lang ["ls" synthesis])
         (synthesizer ["&&;" function])))
 
@@ -105,7 +106,7 @@
   (let [resolve-captured (: (-> ls;Variable ls;Variable)
                             (function [var]
                               (let [idx (|> var (i.* -1) int-to-nat n.dec)]
-                                (|> env (list;nth idx) assume))))]
+                                (|> env (list;nth idx) maybe;assume))))]
     (loop [exprS exprS]
       (case exprS
         (#ls;Variant tag last? valueS)