diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux | 38 |
1 files changed, 10 insertions, 28 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux index 58643797b..b01056479 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux @@ -534,11 +534,7 @@ (do phase.monad [] (wrap (|>> (_.string class) - (_.INVOKESTATIC $Class "forName" - (type.method [(list (type.class "java.lang.String" (list))) - $Class - (list)]) - false)))) + (_.INVOKESTATIC $Class "forName" (type.method [(list (type.class "java.lang.String" (list))) $Class (list)]))))) _ (phase.throw extension.invalid-syntax [extension-name %synthesis inputs]))) @@ -736,14 +732,10 @@ (do phase.monad [inputsTI (monad.map @ (generate-input generate) inputsTS)] (wrap (|>> (_.fuse (list@map product.right inputsTI)) - (_.INVOKESTATIC class method - (type.method [(list@map product.left inputsTI) - outputT - (list)]) - false) + (_.INVOKESTATIC class method (type.method [(list@map product.left inputsTI) outputT (list)])) (prepare-output outputT)))))])) -(template [<name> <invoke> <interface?>] +(template [<name> <invoke>] [(def: <name> Handler (..custom @@ -758,13 +750,12 @@ (<invoke> class method (type.method [(list@map product.left inputsTI) outputT - (list)]) - <interface?>) + (list)])) (prepare-output outputT)))))]))] - [invoke::virtual _.INVOKEVIRTUAL false] - [invoke::special _.INVOKESPECIAL false] - [invoke::interface _.INVOKEINTERFACE true] + [invoke::virtual _.INVOKEVIRTUAL] + [invoke::special _.INVOKESPECIAL] + [invoke::interface _.INVOKEINTERFACE] ) (def: invoke::constructor @@ -777,11 +768,7 @@ (wrap (|>> (_.NEW class) _.DUP (_.fuse (list@map product.right inputsTI)) - (_.INVOKESPECIAL class "<init>" - (type.method [(list@map product.left inputsTI) - type.void - (list)]) - false)))))])) + (_.INVOKESPECIAL class "<init>" (type.method [(list@map product.left inputsTI) type.void (list)]))))))])) (def: member Bundle @@ -931,12 +918,7 @@ (_def.method #$.Public $.noneM "<init>" (anonymous-init-method env) (|>> (_.ALOAD 0) ((_.fuse (list@map product.right inputsTI))) - (_.INVOKESPECIAL super-class - "<init>" - (type.method [(list@map product.left inputsTI) - type.void - (list)]) - #0) + (_.INVOKESPECIAL super-class "<init>" (type.method [(list@map product.left inputsTI) type.void (list)])) store-capturedI _.RETURN)))) @@ -947,7 +929,7 @@ (wrap (|>> (_.NEW class) _.DUP (_.fuse captureI+) - (_.INVOKESPECIAL class "<init>" (anonymous-init-method env) #0))))) + (_.INVOKESPECIAL class "<init>" (anonymous-init-method env)))))) (def: (returnI returnT) (-> (Type Return) Inst) |