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