diff options
Diffstat (limited to 'lux-r/source/luxc/lang/synthesis/variable.lux')
| -rw-r--r-- | lux-r/source/luxc/lang/synthesis/variable.lux | 11 |
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)) |