diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index 16ef783f2..802d13d3f 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -733,7 +733,7 @@ (..custom [($_ <>.and ..class <synthesis>.text ..return (<>.some ..input)) (function (_ extension_name generate archive [class method outputT inputsTS]) - (do {! phase.monad} + (do [! phase.monad] [inputsTI (monad.each ! (generate_input generate archive) inputsTS)] (in (|>> (_.fuse (list\each product.right inputsTI)) (_.INVOKESTATIC class method (type.method [(list) (list\each product.left inputsTI) outputT (list)])) @@ -745,7 +745,7 @@ (..custom [($_ <>.and ..class <synthesis>.text ..return <synthesis>.any (<>.some ..input)) (function (_ extension_name generate archive [class method outputT objectS inputsTS]) - (do {! phase.monad} + (do [! phase.monad] [objectI (generate archive objectS) inputsTI (monad.each ! (generate_input generate archive) inputsTS)] (in (|>> objectI @@ -768,7 +768,7 @@ (..custom [($_ <>.and ..class (<>.some ..input)) (function (_ extension_name generate archive [class inputsTS]) - (do {! phase.monad} + (do [! phase.monad] [inputsTI (monad.each ! (generate_input generate archive) inputsTS)] (in (|>> (_.NEW class) _.DUP @@ -989,7 +989,7 @@ (def: (anonymous_instance generate archive class env) (-> Phase Archive (Type Class) (Environment Synthesis) (Operation Inst)) - (do {! phase.monad} + (do [! phase.monad] [captureI+ (monad.each ! (generate archive) env)] (in (|>> (_.NEW class) _.DUP @@ -1085,7 +1085,7 @@ super_interfaces inputsTS overriden_methods]) - (do {! phase.monad} + (do [! phase.monad] [[context _] (generation.with_new_context archive (in [])) .let [[module_id artifact_id] context anonymous_class_name (///.class_name context) |