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 | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index c351dd21c..8deac8430 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -3,41 +3,41 @@ [lux {"-" [Type Label try]} [abstract [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [data [binary {"+" [Binary]}] - ["." product] + ["[0]" product] [text ["%" format {"+" [format]}]] [collection - ["." list ("#@." functor)] - ["." row]]] - ["." math + ["[0]" list ("[1]@[0]" functor)] + ["[0]" row]]] + ["[0]" math [number ["n" nat]]] [target [jvm - ["." type {"+" [Type]} - ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}] - ["." reflection]]]] + ["[0]" type {"+" [Type]} + ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}] + ["[0]" reflection]]]] [tool [compiler [arity {"+" [Arity]}] - ["." phase] + ["[0]" phase] [language [lux - ["." synthesis] - ["." generation]]] + ["[0]" synthesis] + ["[0]" generation]]] [meta [archive {"+" [Output]} - ["." artifact {"+" [Registry]}]]]]]]] + ["[0]" artifact {"+" [Registry]}]]]]]]] [luxc [lang [host ["$" jvm {"+" [Label Inst Def Operation]} ["$d" def] ["_" inst]]]]] - ["." // {"+" [ByteCode]}]) + ["[0]" // {"+" [ByteCode]}]) (def: $Text (type.class "java.lang.String" (list))) (def: .public $Lefts type.int) |