diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm.lux | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux index 3a2c38718..0dde7a2e7 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm.lux @@ -1,58 +1,58 @@ (.module: [library [lux {"-" [Module Definition]} - ["." ffi {"+" [import: do_to object]}] + ["[0]" ffi {"+" [import: do_to object]}] [abstract [monad {"+" [do]}]] [control pipe - ["." maybe] - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}] - ["." io {"+" [IO io]}] + ["[0]" maybe] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}] + ["[0]" io {"+" [IO io]}] [concurrency - ["." atom {"+" [Atom atom]}]]] + ["[0]" atom {"+" [Atom atom]}]]] [data [binary {"+" [Binary]}] - ["." product] - ["." text ("#@." hash) + ["[0]" product] + ["[0]" text ("[1]@[0]" hash) ["%" format {"+" [format]}]] [collection - ["." array] - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" array] + ["[0]" dictionary {"+" [Dictionary]}]]] [target [jvm - ["." loader {"+" [Library]}] - ["." type - ["." descriptor]]]] + ["[0]" loader {"+" [Library]}] + ["[0]" type + ["[0]" descriptor]]]] [tool [compiler [language [lux - ["." version] - ["." generation]]] + ["[0]" version] + ["[0]" generation]]] [meta [io {"+" [lux_context]}] [archive [descriptor {"+" [Module]}] - ["." artifact]]]]]]] + ["[0]" artifact]]]]]]] [/// [host - ["." jvm {"+" [Inst Definition Host State]} - ["." def] - ["." inst]]]] + ["[0]" jvm {"+" [Inst Definition Host State]} + ["[0]" def] + ["[0]" inst]]]] ) (import: java/lang/reflect/Field - ["#::." + ["[1]::[0]" (get ["?" java/lang/Object] "try" "?" java/lang/Object)]) (import: (java/lang/Class a) - ["#::." + ["[1]::[0]" (getField [java/lang/String] "try" java/lang/reflect/Field)]) (import: java/lang/Object - ["#::." + ["[1]::[0]" (getClass [] (java/lang/Class java/lang/Object))]) (import: java/lang/ClassLoader) |