diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux index 509d6dcf5..3441363b9 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux @@ -833,7 +833,7 @@ [1 _]) body - [2 [@ {synthesis.#Control {synthesis.#Branch {synthesis.#Let _ 2 (synthesis.tuple @ (list _ hidden))}}}]] + [2 [@ {synthesis.#Control {synthesis.#Branch {synthesis.#Let [2 _] (synthesis.tuple @ (list _ hidden))}}}]] hidden [_ [@ {synthesis.#Control {synthesis.#Branch {synthesis.#When _ path}}}]] @@ -926,9 +926,8 @@ {synthesis.#Exec (without_fake_parameter before) (without_fake_parameter after)} - {synthesis.#Let value register body} - {synthesis.#Let (without_fake_parameter value) - (-- register) + {synthesis.#Let [register value] body} + {synthesis.#Let [(-- register) (without_fake_parameter value)] (without_fake_parameter body)} {synthesis.#If when then else} @@ -1069,8 +1068,8 @@ (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)]) + (synthesis.branch/let @ [[register inputS] outputS]) + (synthesis.branch/let @ [[register (again inputS)] (again outputS)]) (synthesis.branch/if @ [testS thenS elseS]) (synthesis.branch/if @ [(again testS) (again thenS) (again elseS)]) |