diff options
author | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
commit | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch) | |
tree | 0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /lux-jvm/source/luxc/lang/synthesis | |
parent | d48270f43c404ba19ca04da2553455ecaaf2caba (diff) |
Made the "#" character great again!
Diffstat (limited to 'lux-jvm/source/luxc/lang/synthesis')
-rw-r--r-- | lux-jvm/source/luxc/lang/synthesis/variable.lux | 33 |
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) _ |