diff options
author | Eduardo Julian | 2019-10-16 02:19:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-10-16 02:19:52 -0400 |
commit | 3028cc4f45d2d7d66456467de506341800df14d8 (patch) | |
tree | 184a517a4b0634fd50d834b4b16753fd11c691a2 /new-luxc/source/luxc/lang/translation/jvm/runtime.lux | |
parent | 688870c71829e1bee89c9f827cc2032507cc507b (diff) |
Now allowing types for methods.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/runtime.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/runtime.lux | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux index f97831ac5..c0e48f30d 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux @@ -9,9 +9,7 @@ [target [jvm ["." type (#+ Type) - ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)] - ["." descriptor (#+ Descriptor)] - ["." signature (#+ Signature)] + ["." category (#+ Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method)] ["." reflection]]]] [tool [compiler @@ -106,7 +104,7 @@ (def: #export num-apply-variants Nat 8) (def: #export (apply-signature arity) - (-> Arity [(Signature Method) (Descriptor Method)]) + (-> Arity (Type Method)) (type.method [(list.repeat arity $Value) $Value (list)])) (def: adt-methods @@ -319,7 +317,10 @@ _.ARETURN))) ))) -(def: reflection (|>> type.reflection reflection.reflection)) +(def: reflection + (All [category] + (-> (Type (<| Return' Value' category)) Text)) + (|>> type.reflection reflection.reflection)) (def: translate-runtime (Operation Any) |