diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/runtime.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index 995d82e47..cb62ddb4b 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -1,14 +1,14 @@ (.module: [library - [lux {"-" [Type Label try]} + [lux {"-" Type Label try} [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" enum]] [data - [binary {"+" [Binary]}] + [binary {"+" Binary}] ["[0]" product] [text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]@[0]" functor)] ["[0]" row]]] @@ -17,27 +17,27 @@ ["n" nat]]] [target [jvm - ["[0]" type {"+" [Type]} - ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}] + ["[0]" type {"+" Type} + ["[0]" category {"+" Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method}] ["[0]" reflection]]]] [tool [compiler - [arity {"+" [Arity]}] + [arity {"+" Arity}] ["[0]" phase] [language [lux ["[0]" synthesis] ["[0]" generation]]] [meta - [archive {"+" [Output]} - ["[0]" artifact {"+" [Registry]}]]]]]]] + [archive {"+" Output} + ["[0]" artifact {"+" Registry}]]]]]]] [luxc [lang [host - ["$" jvm {"+" [Label Inst Def Operation]} + ["$" jvm {"+" Label Inst Def Operation} ["$d" def] ["_" inst]]]]] - ["[0]" // {"+" [ByteCode]}]) + ["[0]" // {"+" ByteCode}]) (def: $Text (type.class "java.lang.String" (list))) (def: .public $Lefts type.int) |