diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index 69605bb8a..9cd5efdfb 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -108,7 +108,7 @@ (def: (instance generate archive class arity env) (-> Phase Archive (Type Class) Arity (Environment Synthesis) (Operation Inst)) - (do {@ phase.monad} + (do [@ phase.monad] [captureI+ (monad.each @ (generate archive) env) .let [argsI (if (poly_arg? arity) (|> (nullsI (-- arity)) @@ -305,7 +305,7 @@ (def: .public (function' forced_context generate archive [env arity bodyS]) (-> (Maybe Context) (Generator Abstraction)) - (do {! phase.monad} + (do [! phase.monad] [@begin _.make_label [function_context bodyI] (case forced_context (#.Some function_context) @@ -341,7 +341,7 @@ (def: .public (call generate archive [functionS argsS]) (Generator Apply) - (do {@ phase.monad} + (do [@ phase.monad] [functionI (generate archive functionS) argsI (monad.each @ (generate archive) argsS) .let [applyI (|> argsI |