From 17629d66062b88b040a2397032f6c08361a5f3a7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 12 Aug 2021 03:12:42 -0400
Subject: Improved binding syntax for "syntax:".

---
 lux-jvm/source/luxc/lang/synthesis/variable.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/synthesis')

diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 11fbaae51..4721187f8 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -47,11 +47,11 @@
 (def: (unused-vars current-arity bound exprS)
   (-> ls.Arity (List Variable) ls.Synthesis (List Variable))
   (let [tracker (loop [exprS exprS
-                       tracker (list/fold s.add init-tracker bound)]
+                       tracker (list/fold s.has init-tracker bound)]
                   (case exprS
                     (#ls.Variable var)
                     (if (non-arg? current-arity var)
-                      (s.remove var tracker)
+                      (s.lacks var tracker)
                       tracker)
                     
                     (#ls.Variant tag last? memberS)
@@ -77,13 +77,13 @@
                     (recur bodyS (list/fold recur tracker initsS))
 
                     (#ls.Case inputS outputPS)
-                    (let [tracker' (list/fold s.add
+                    (let [tracker' (list/fold s.has
                                               (recur inputS tracker)
                                               (bound-vars outputPS))]
                       (list/fold recur tracker' (path-bodies outputPS)))
 
                     (#ls.Function arity env bodyS)
-                    (list/fold s.remove tracker env)
+                    (list/fold s.lacks tracker env)
 
                     _
                     tracker
-- 
cgit v1.2.3