From cd71a864ad5be13ed6ec6d046e0a2cb1087bdf94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 01:21:23 -0400
Subject: Migrated variants to the new syntax.

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

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

diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 12594e154..685eaae92 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -11,10 +11,10 @@
 (def: (bound-vars path)
   (-> ls.Path (List Variable))
   (case path
-    (#ls.BindP register)
+    {#ls.BindP register}
     (list (.int register))
 
-    (^or (#ls.SeqP pre post) (#ls.AltP pre post))
+    (^or {#ls.SeqP pre post} {#ls.AltP pre post})
     (list/composite (bound-vars pre) (bound-vars post))
     
     _
@@ -23,13 +23,13 @@
 (def: (path-bodies path)
   (-> ls.Path (List ls.Synthesis))
   (case path
-    (#ls.ExecP body)
+    {#ls.ExecP body}
     (list body)
 
-    (#ls.SeqP pre post)
+    {#ls.SeqP pre post}
     (path-bodies post)
 
-    (#ls.AltP pre post)
+    {#ls.AltP pre post}
     (list/composite (path-bodies pre) (path-bodies post))
     
     _
@@ -49,40 +49,40 @@
   (let [tracker (loop [exprS exprS
                        tracker (list/mix s.has init-tracker bound)]
                   (case exprS
-                    (#ls.Variable var)
+                    {#ls.Variable var}
                     (if (non-arg? current-arity var)
                       (s.lacks var tracker)
                       tracker)
                     
-                    (#ls.Variant tag last? memberS)
+                    {#ls.Variant tag last? memberS}
                     (recur memberS tracker)
 
-                    (#ls.Tuple membersS)
+                    {#ls.Tuple membersS}
                     (list/mix recur tracker membersS)
 
-                    (#ls.Call funcS argsS)
+                    {#ls.Call funcS argsS}
                     (list/mix recur (recur funcS tracker) argsS)
                     
-                    (^or (#ls.Recur argsS)
-                         (#ls.Procedure name argsS))
+                    (^or {#ls.Recur argsS}
+                         {#ls.Procedure name argsS})
                     (list/mix recur tracker argsS)
 
-                    (#ls.Let offset inputS outputS)
+                    {#ls.Let offset inputS outputS}
                     (|> tracker (recur inputS) (recur outputS))
 
-                    (#ls.If testS thenS elseS)
+                    {#ls.If testS thenS elseS}
                     (|> tracker (recur testS) (recur thenS) (recur elseS))
 
-                    (#ls.Loop offset initsS bodyS)
+                    {#ls.Loop offset initsS bodyS}
                     (recur bodyS (list/mix recur tracker initsS))
 
-                    (#ls.Case inputS outputPS)
+                    {#ls.Case inputS outputPS}
                     (let [tracker' (list/mix s.has
                                              (recur inputS tracker)
                                              (bound-vars outputPS))]
                       (list/mix recur tracker' (path-bodies outputPS)))
 
-                    (#ls.Function arity env bodyS)
+                    {#ls.Function arity env bodyS}
                     (list/mix s.lacks tracker env)
 
                     _
-- 
cgit v1.2.3