aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux36
1 files changed, 18 insertions, 18 deletions
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]]])