From ca238f9c89d3156842b0a3d5fe24a5d69b2eedb0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 6 Apr 2018 08:32:41 -0400
Subject: - Adapted new-luxc's code to latest stdlib changes.

---
 new-luxc/source/luxc/lang/synthesis/case.lux       | 6 +++---
 new-luxc/source/luxc/lang/synthesis/expression.lux | 6 +++---
 new-luxc/source/luxc/lang/synthesis/loop.lux       | 6 +++---
 3 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source/luxc/lang/synthesis')

diff --git a/new-luxc/source/luxc/lang/synthesis/case.lux b/new-luxc/source/luxc/lang/synthesis/case.lux
index 3e57de337..968c35561 100644
--- a/new-luxc/source/luxc/lang/synthesis/case.lux
+++ b/new-luxc/source/luxc/lang/synthesis/case.lux
@@ -28,7 +28,7 @@
       (#.Cons _)
       (let [last-idx (n/dec (list.size membersP))
             [_ output] (list/fold (: (-> la.Pattern [Nat [Nat (List ls.Path)]] [Nat [Nat (List ls.Path)]])
-                                     (function [current-pattern [current-idx num-locals' next]]
+                                     (function (_ current-pattern [current-idx num-locals' next])
                                        (let [[num-locals'' current-path] (path' arity num-locals' current-pattern)]
                                          [(n/dec current-idx)
                                           num-locals''
@@ -64,7 +64,7 @@
   (-> (List ls.Path) (List ls.Path))
   (case paths
     (#.Cons path paths')
-    (if (is popPS path)
+    (if (is? popPS path)
       (clean-unnecessary-pops paths')
       paths)
 
@@ -76,7 +76,7 @@
   (let [[num-locals' pieces] (path' arity num-locals pattern)]
     (|> pieces
         clean-unnecessary-pops
-        (list/fold (function [pre post]
+        (list/fold (function (_ pre post)
                      (` ("lux case seq" (~ pre) (~ post))))
                    (` ("lux case exec" (~ (synthesize num-locals' bodyA))))))))
 
diff --git a/new-luxc/source/luxc/lang/synthesis/expression.lux b/new-luxc/source/luxc/lang/synthesis/expression.lux
index b17af14d2..c05f1daf9 100644
--- a/new-luxc/source/luxc/lang/synthesis/expression.lux
+++ b/new-luxc/source/luxc/lang/synthesis/expression.lux
@@ -149,7 +149,7 @@
       (let [function-arity (if direct?
                              (n/inc arity)
                              +1)
-            env (list/map (function [closure]
+            env (list/map (function (_ closure)
                             (case (dict.get closure resolver)
                               (#.Some resolved)
                               (if (and (variableL.local? resolved)
@@ -170,11 +170,11 @@
                           _ (|> (list.size raw-env) n/dec (list.n/range +0) (list/map variableL.captured))))
             resolver' (if (and (functionS.nested? function-arity)
                                direct?)
-                        (list/fold (function [[from to] resolver']
+                        (list/fold (function (_ [from to] resolver')
                                      (dict.put from to resolver'))
                                    init-resolver
                                    (list.zip2 env-vars env))
-                        (list/fold (function [var resolver']
+                        (list/fold (function (_ var resolver')
                                      (dict.put var var resolver'))
                                    init-resolver
                                    env-vars))]
diff --git a/new-luxc/source/luxc/lang/synthesis/loop.lux b/new-luxc/source/luxc/lang/synthesis/loop.lux
index 762032a59..c00d5626b 100644
--- a/new-luxc/source/luxc/lang/synthesis/loop.lux
+++ b/new-luxc/source/luxc/lang/synthesis/loop.lux
@@ -37,7 +37,7 @@
             false)))
 
     (^ [_ (#.Form (list [_ (#.Text "lux function")] arity [_ (#.Tuple environment)] bodyS))])
-    (list.any? (function [captured]
+    (list.any? (function (_ captured)
                  (case captured
                    (^ [_ (#.Form (list [_ (#.Int var)]))])
                    (variableL.self? var)
@@ -111,7 +111,7 @@
 (def: #export (adjust env offset exprS)
   (-> (List Variable) Register ls.Synthesis ls.Synthesis)
   (let [resolve-captured (: (-> Variable Variable)
-                            (function [var]
+                            (function (_ var)
                               (let [idx (|> var (i/* -1) int-to-nat n/dec)]
                                 (|> env (list.nth idx) maybe.assume))))]
     (loop [exprS exprS]
@@ -144,7 +144,7 @@
 
         (^code ("lux function" (~ arity) [(~+ environment)] (~ bodyS)))
         (` ("lux function" (~ arity)
-            [(~+ (list/map (function [_var]
+            [(~+ (list/map (function (_ _var)
                              (case _var
                                (^ [_ (#.Form (list [_ (#.Int var)]))])
                                (` ((~ (code.int (resolve-captured var)))))
-- 
cgit v1.2.3