aboutsummaryrefslogtreecommitdiff
path: root/lux-r/source/luxc
diff options
context:
space:
mode:
Diffstat (limited to 'lux-r/source/luxc')
-rw-r--r--lux-r/source/luxc/lang/synthesis/variable.lux11
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))