diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux index 706c69c00..e3ac4141b 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux @@ -3,43 +3,43 @@ [lux {"-" [Type Label]} [ffi {"+" [import:]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try] + ["[0]" try] ["<>" parser ["<s>" synthesis {"+" [Parser]}]]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#@." monad)] - ["." dictionary]]] + ["[0]" list ("[1]@[0]" monad)] + ["[0]" dictionary]]] [math [number ["f" frac]]] [target [jvm - ["." type]]] + ["[0]" type]]] [tool [compiler - ["." phase] + ["[0]" phase] [meta [archive {"+" [Archive]}]] [language [lux - ["." synthesis {"+" [Synthesis %synthesis]}] + ["[0]" synthesis {"+" [Synthesis %synthesis]}] [phase [generation [extension {"+" [Nullary Unary Binary Trinary Variadic nullary unary binary trinary variadic]}]] - ["." extension - ["." bundle]]]]]]]]] + ["[0]" extension + ["[0]" bundle]]]]]]]]] [luxc [lang [host ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]} ["_" inst]]]]] - ["." /// - ["." runtime]]) + ["[0]" /// + ["[0]" runtime]]) (def: .public (custom [parser handler]) (All (_ s) @@ -55,7 +55,7 @@ (phase.except extension.invalid_syntax [extension_name %synthesis input])))) (import: java/lang/Double - ["#::." + ["[1]::[0]" ("static" MIN_VALUE java/lang/Double) ("static" MAX_VALUE java/lang/Double)]) |