From a40f40f230e6312ae432f06e7f73aa5945d8fa49 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 18 Jul 2021 23:10:18 -0400
Subject: New JVM compiler can now compile JVM interfaces.

---
 lux-jvm/source/luxc/lang/translation/jvm/function.lux | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 394b0b7b5..9e0f9f225 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -57,15 +57,16 @@
 (def: (init_method env arity)
   (-> (Environment Synthesis) Arity (Type Method))
   (if (poly_arg? arity)
-    (type.method [(list.concat (list (captured_args env)
+    (type.method [(list)
+                  (list.concat (list (captured_args env)
                                      (list type.int)
                                      (list.repeat (dec arity) //.$Value)))
                   type.void
                   (list)])
-    (type.method [(captured_args env) type.void (list)])))
+    (type.method [(list) (captured_args env) type.void (list)])))
 
 (def: (implementation_method arity)
-  (type.method [(list.repeat arity //.$Value) //.$Value (list)]))
+  (type.method [(list) (list.repeat arity //.$Value) //.$Value (list)]))
 
 (def: get_amount_of_partialsI
   Inst
@@ -122,7 +123,7 @@
 
 (def: (reset_method return)
   (-> (Type Class) (Type Method))
-  (type.method [(list) return (list)]))
+  (type.method [(list) (list) return (list)]))
 
 (def: (with_reset class arity env)
   (-> (Type Class) Arity (Environment Synthesis) Def)
@@ -156,7 +157,7 @@
                    _.ARETURN)))
 
 (def: function_init_method
-  (type.method [(list type.int) type.void (list)]))
+  (type.method [(list) (list type.int) type.void (list)]))
 
 (def: (function_init arity env_size)
   (-> Arity Nat Inst)
-- 
cgit v1.2.3