diff options
author | Eduardo Julian | 2022-01-09 05:35:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-01-09 05:35:12 -0400 |
commit | b7873d4b68ffc041f9ff134c52a32b54c20febf9 (patch) | |
tree | b4892c00eee2e57ebd763b646dc4a89796235000 /lux-jvm/source/luxc/lang/translation/jvm/case.lux | |
parent | 54e219ee24c1508713d07473cd8a3b04c7f8fe18 (diff) |
Fixed a bug when testing extensions on the JVM compiler.
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index 0c9ad675f..94a3deb05 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -1,6 +1,6 @@ (.using [library - [lux {"-" Type Label Primitive if let case} + [lux {"-" Type Label Primitive if exec let case} [abstract ["[0]" monad {"+" do}]] [control @@ -253,6 +253,15 @@ elseI (_.label @end)))))) +(def: .public (exec phase archive [this that]) + (Generator [Synthesis Synthesis]) + (do phase.monad + [this! (phase archive this) + that! (phase archive that)] + (in (|>> this! + _.POP + that!)))) + (def: .public (let phase archive [inputS register exprS]) (Generator [Synthesis Nat Synthesis]) (do phase.monad |