diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index 7c4d09936..f0f2fa635 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -750,8 +750,8 @@ (..custom [($_ <>.and ..class <s>.text ..return (<>.some ..input)) (function (_ extension-name generate archive [class method outputT inputsTS]) - (do {@ //////.monad} - [inputsTG (monad.map @ (generate-input generate archive) inputsTS)] + (do {! //////.monad} + [inputsTG (monad.map ! (generate-input generate archive) inputsTS)] (wrap ($_ _.compose (monad.map _.monad product.right inputsTG) (_.invokestatic class method (type.method [(list@map product.left inputsTG) outputT (list)])) @@ -763,9 +763,9 @@ (..custom [($_ <>.and ..class <s>.text ..return <s>.any (<>.some ..input)) (function (_ extension-name generate archive [class method outputT objectS inputsTS]) - (do {@ //////.monad} + (do {! //////.monad} [objectG (generate archive objectS) - inputsTG (monad.map @ (generate-input generate archive) inputsTS)] + inputsTG (monad.map ! (generate-input generate archive) inputsTS)] (wrap ($_ _.compose objectG (_.checkcast class) @@ -783,8 +783,8 @@ (..custom [($_ <>.and ..class (<>.some ..input)) (function (_ extension-name generate archive [class inputsTS]) - (do {@ //////.monad} - [inputsTG (monad.map @ (generate-input generate archive) inputsTS)] + (do {! //////.monad} + [inputsTG (monad.map ! (generate-input generate archive) inputsTS)] (wrap ($_ _.compose (_.new class) _.dup @@ -959,8 +959,8 @@ (def: (anonymous-instance generate archive class env) (-> Phase Archive (Type category.Class) (Environment Synthesis) (Operation (Bytecode Any))) - (do {@ //////.monad} - [captureG+ (monad.map @ (generate archive) env)] + (do {! //////.monad} + [captureG+ (monad.map ! (generate archive) env)] (wrap ($_ _.compose (_.new class) _.dup @@ -1008,7 +1008,7 @@ (function (_ extension-name generate archive [super-class super-interfaces inputsTS overriden-methods]) - (do {@ //////.monad} + (do {! //////.monad} [[context _] (//////generation.with-new-context archive (wrap [])) #let [[module-id artifact-id] context anonymous-class-name (///runtime.class-name context) @@ -1045,12 +1045,12 @@ self-name arguments returnT exceptionsT (normalize-method-body local-mapping body)])) overriden-methods)] - inputsTI (monad.map @ (generate-input generate archive) inputsTS) - method-definitions (monad.map @ (function (_ [ownerT name + inputsTI (monad.map ! (generate-input generate archive) inputsTS) + method-definitions (monad.map ! (function (_ [ownerT name strict-fp? annotations vars self-name arguments returnT exceptionsT bodyS]) - (do @ + (do ! [bodyG (//////generation.with-context artifact-id (generate archive bodyS))] (wrap (method.method ($_ modifier@compose @@ -1068,7 +1068,7 @@ bodyG (returnG returnT))))))) normalized-methods) - bytecode (<| (:: @ map (format.run class.writer)) + bytecode (<| (:: ! map (format.run class.writer)) //////.lift (class.class version.v6_0 ($_ modifier@compose class.public class.final) (name.internal anonymous-class-name) |