diff options
Diffstat (limited to '')
3 files changed, 28 insertions, 28 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux index fff364f52..8ebacd941 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux @@ -6,7 +6,7 @@ ["[0]" dictionary]]]]] [//// [host - [jvm {"+" [Bundle]}]]] + [jvm {"+" Bundle}]]] ["[0]" / "_" ["[1][0]" common] ["[1][0]" host]]) 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 78048379c..79eeb98b5 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux @@ -1,13 +1,13 @@ (.module: [library - [lux {"-" [Type Label]} - [ffi {"+" [import:]}] + [lux {"-" Type Label} + [ffi {"+" import:}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" try] ["<>" parser - ["<s>" synthesis {"+" [Parser]}]]] + ["<s>" synthesis {"+" Parser}]]] [data ["[0]" product] [collection @@ -23,20 +23,20 @@ [compiler ["[0]" phase] [meta - [archive {"+" [Archive]}]] + [archive {"+" Archive}]] [language [lux - ["[0]" synthesis {"+" [Synthesis %synthesis]}] + ["[0]" synthesis {"+" Synthesis %synthesis}] [phase [generation - [extension {"+" [Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic]}]] + [extension {"+" Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic}]] ["[0]" extension ["[0]" bundle]]]]]]]]] [luxc [lang [host - ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]} + ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase} ["_" inst]]]]] ["[0]" /// ["[0]" runtime]]) diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index 3120b66b4..137633847 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -1,23 +1,23 @@ (.module: [library - [lux {"-" [Type Label primitive int char type]} - [ffi {"+" [import:]}] + [lux {"-" Type Label primitive int char type} + [ffi {"+" import:}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] ["[0]" function] ["<>" parser ("[1]#[0]" monad) ["<[0]>" text] - ["<[0]>" synthesis {"+" [Parser]}]]] + ["<[0]>" synthesis {"+" Parser}]]] [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" monad mix)] - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" set]]] [macro ["[0]" template]] @@ -26,8 +26,8 @@ ["n" nat]]] [target [jvm - ["[0]" type {"+" [Type Typed Argument]} - ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}] + ["[0]" type {"+" Type Typed Argument} + ["[0]" category {"+" Void Value Return Primitive Object Class Array Var Parameter Method}] ["[0]" box] ["[0]" reflection] ["[0]" signature] @@ -36,19 +36,19 @@ [tool [compiler ["[0]" phase ("[1]#[0]" monad)] - [reference {"+" []} - ["[0]" variable {"+" [Variable Register]}]] + [reference {"+" } + ["[0]" variable {"+" Variable Register}]] [meta - [archive {"+" [Archive]}]] + [archive {"+" Archive}]] [language [lux - [analysis {"+" [Environment]}] - ["[0]" synthesis {"+" [Synthesis Path %synthesis]}] + [analysis {"+" Environment}] + ["[0]" synthesis {"+" Synthesis Path %synthesis}] ["[0]" generation] [phase [generation - [extension {"+" [Nullary Unary Binary - nullary unary binary]}]] + [extension {"+" Nullary Unary Binary + nullary unary binary}]] [analysis ["[0]A" reference]] ["[0]" extension @@ -58,11 +58,11 @@ [luxc [lang [host - ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]} + ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase} ["_" inst] ["_[0]" def]]]]] ["[0]" // "_" - [common {"+" [custom]}] + [common {"+" custom}] ["/[1]" // ["[1][0]" reference] ["[1][0]" function]]]) |