1 files changed, 17 insertions, 16 deletions
diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 685eaae92..f580ceec7 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -11,10 +11,11 @@
 (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 +24,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 +50,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)
 
                     _