diff options
| author | Eduardo Julian | 2021-08-12 03:12:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-12 03:12:42 -0400 |
| commit | 17629d66062b88b040a2397032f6c08361a5f3a7 (patch) | |
| tree | bdc6110750b895667b9e45da5e46bec9609f9a7c /lux-r/source/luxc/lang/synthesis | |
| parent | a62ce3f9c2b605e0033f4772b0f64c4525de4d86 (diff) | |
Improved binding syntax for "syntax:".
Diffstat (limited to 'lux-r/source/luxc/lang/synthesis')
| -rw-r--r-- | lux-r/source/luxc/lang/synthesis/variable.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lux-r/source/luxc/lang/synthesis/variable.lux b/lux-r/source/luxc/lang/synthesis/variable.lux index 932cb3dcb..f747a82df 100644 --- a/lux-r/source/luxc/lang/synthesis/variable.lux +++ b/lux-r/source/luxc/lang/synthesis/variable.lux @@ -46,11 +46,11 @@ (def: (unused-vars current-arity bound exprS) (-> ls.Arity (List Variable) ls.Synthesis (List Variable)) (let [tracker (loop [exprS exprS - tracker (list/fold s.add init-tracker bound)] + tracker (list/fold s.has init-tracker bound)] (case exprS (#ls.Variable var) (if (non-arg? current-arity var) - (s.remove var tracker) + (s.lacks var tracker) tracker) (#ls.Variant tag last? memberS) @@ -76,13 +76,13 @@ (recur bodyS (list/fold recur tracker initsS)) (#ls.Case inputS outputPS) - (let [tracker' (list/fold s.add + (let [tracker' (list/fold s.has (recur inputS tracker) (bound-vars outputPS))] (list/fold recur tracker' (path-bodies outputPS))) (#ls.Function arity env bodyS) - (list/fold s.remove tracker env) + (list/fold s.lacks tracker env) _ tracker |