diff options
author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
tree | 540310f190007d192b892db2d0a520d17b73ad48 /lux-jvm/source/luxc/lang/translation/jvm/function.lux | |
parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) |
Changed the syntax of do/be's (co)monad bindings.
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 |