From 54e219ee24c1508713d07473cd8a3b04c7f8fe18 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 8 Jan 2022 06:37:39 -0400 Subject: Fixes for the pure-Lux JVM compiler machinery. [Part 4] --- lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension') 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 [] + [(^ ) + 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)]) -- cgit v1.2.3