From 7b870a7bd124f35939d9089a2e21f0806a4c6e85 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Oct 2017 22:21:14 -0400
Subject: - Fixed some bugs. - Improved error reporting. - Implemented
 macro-expansion (for JVM). - Implemented "let" compilation.

---
 new-luxc/source/luxc/synthesizer/function.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source/luxc/synthesizer/function.lux')

diff --git a/new-luxc/source/luxc/synthesizer/function.lux b/new-luxc/source/luxc/synthesizer/function.lux
index e8b2a7ec4..4d9970a3f 100644
--- a/new-luxc/source/luxc/synthesizer/function.lux
+++ b/new-luxc/source/luxc/synthesizer/function.lux
@@ -1,6 +1,6 @@
 (;module:
   lux
-  (lux (data (coll [list "L/" Functor<List> Fold<List>])))
+  (lux (data (coll [list "list/" Functor<List>])))
   (luxc (lang ["la" analysis]
               ["ls" synthesis])))
 
@@ -8,14 +8,14 @@
   (-> Scope (List ls;Variable))
   (|> scope
       (get@ [#;captured #;mappings])
-      (L/map (function [[_ _ ref]]
-               (case ref
-                 (#;Local idx)
-                 (nat-to-int idx)
-                 
-                 (#;Captured idx)
-                 (|> idx n.inc nat-to-int (i.* -1))
-                 )))))
+      (list/map (function [[_ _ ref]]
+                  (case ref
+                    (#;Local idx)
+                    (nat-to-int idx)
+                    
+                    (#;Captured idx)
+                    (|> idx n.inc nat-to-int (i.* -1))
+                    )))))
 
 (do-template [<name> <comp>]
   [(def: #export (<name> var)
-- 
cgit v1.2.3