diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index 45bbce9f9..7048bdd25 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -905,11 +905,11 @@ (-> (Dictionary Synthesis Variable) Synthesis Synthesis) (function (again body) (case body - (^ {synthesis.#Primitive value}) - body - - (^ (synthesis.constant value)) - body + (^template [<tag>] + [(^ <tag>) + body]) + ([{//////synthesis.#Primitive _}] + [(//////synthesis.constant _)]) (^ (synthesis.variant [lefts right? sub])) (synthesis.variant [lefts right? (again sub)]) @@ -926,6 +926,9 @@ (^ (synthesis.branch/case [inputS pathS])) (synthesis.branch/case [(again inputS) (normalize_path again pathS)]) + (^ (synthesis.branch/exec [this that])) + (synthesis.branch/exec [(again this) (again that)]) + (^ (synthesis.branch/let [inputS register outputS])) (synthesis.branch/let [(again inputS) register (again outputS)]) |