From 3028cc4f45d2d7d66456467de506341800df14d8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Oct 2019 02:19:52 -0400
Subject: Now allowing types for methods.

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

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux
index bd651f786..34a4c890e 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/function.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux
@@ -14,9 +14,7 @@
    [target
     [jvm
      ["." type (#+ Type)
-      ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]
-      ["." descriptor (#+ Descriptor)]
-      ["." signature (#+ Signature)]]]]
+      ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]]]]
    [tool
     [compiler
      [arity (#+ Arity)]
@@ -46,7 +44,7 @@
   (list.repeat (list.size env) //.$Value))
 
 (def: (init-method env arity)
-  (-> Environment Arity [(Signature Method) (Descriptor Method)])
+  (-> Environment Arity (Type Method))
   (if (poly-arg? arity)
     (type.method [(list.concat (list (captured-args env)
                                      (list type.int)
@@ -112,7 +110,7 @@
                (_.INVOKESPECIAL class "<init>" (init-method env arity))))))
 
 (def: (reset-method return)
-  (-> (Type Class) [(Signature Method) (Descriptor Method)])
+  (-> (Type Class) (Type Method))
   (type.method [(list) return (list)]))
 
 (def: (with-reset class arity env)
-- 
cgit v1.2.3