From 747abe180b2669b6af5779dcf39ab5a8b6ed11ed Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Sep 2019 19:26:01 -0400
Subject: Got rid of a useless parameter to the INVOKE instructions.

---
 .../luxc/lang/translation/jvm/procedure/host.lux   | 38 ++++++----------------
 1 file changed, 10 insertions(+), 28 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux')

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)
-- 
cgit v1.2.3