Outsourced the syntax for labelled type definitions to macros.

1 files changed, 7 insertions, 4 deletions

diff --git a/lux-r/source/luxc/lang/synthesis/variable.lux b/lux-r/source/luxc/lang/synthesis/variable.lux
index 920c99057..fe599dfc7 100644
--- a/lux-r/source/luxc/lang/synthesis/variable.lux
+++ b/lux-r/source/luxc/lang/synthesis/variable.lux
@@ -14,7 +14,7 @@
     (list (.int register))
 
     (^or (#ls.SeqP pre post) (#ls.AltP pre post))
-    (list/compose (bound-vars pre) (bound-vars post))
+    (list/composite (bound-vars pre) (bound-vars post))
     
     _
     (list)))
@@ -29,7 +29,7 @@
     (path-bodies post)
 
     (#ls.AltP pre post)
-    (list/compose (path-bodies pre) (path-bodies post))
+    (list/composite (path-bodies pre) (path-bodies post))
     
     _
     (list)))
@@ -39,9 +39,12 @@
   (and (variableL.local? var)
        (n/> arity (.nat var))))
 
-(type: Tracker (s.Set Variable))
+(type: Tracker
+  (s.Set Variable))
 
-(def: init-tracker Tracker (s.new number.Hash<Int>))
+(def: init-tracker
+  Tracker
+  (s.new number.Hash<Int>))
 
 (def: (unused-vars current-arity bound exprS)
   (-> ls.Arity (List Variable) ls.Synthesis (List Variable))