From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 7 Sep 2021 22:50:21 -0400 Subject: De-taggification | part 4 --- .../luxc/lang/translation/jvm/extension/common.lux | 26 +++++++++++----------- 1 file changed, 13 insertions(+), 13 deletions(-) (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux') 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 ["" 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)]) -- cgit v1.2.3