aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux13
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)])