diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux index a21bfc7e3..38d434942 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/jvm/when.lux @@ -291,7 +291,7 @@ (_.set_label @end))))))) (def .public (exec phase archive [this that]) - (Translator [synthesis.Term synthesis.Term]) + (Translator (synthesis.Exec synthesis.Term)) (do phase.monad [this! (phase archive this) that! (phase archive that)] @@ -300,8 +300,8 @@ _.pop that!)))) -(def .public (let phase archive [inputS register bodyS]) - (Translator [synthesis.Term Register synthesis.Term]) +(def .public (let phase archive [[register inputS] bodyS]) + (Translator (synthesis.Let synthesis.Term)) (do phase.monad [input! (phase archive inputS) body! (phase archive bodyS)] |