aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-jvm/source/luxc/lang/translation/jvm
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux24
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/common.lux16
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/expression.lux18
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension.lux8
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux26
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux64
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux26
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/loop.lux14
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux14
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/program.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/reference.lux12
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux26
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux26
13 files changed, 139 insertions, 139 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index b8ef09945..a6d0a725f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -2,38 +2,38 @@
[library
[lux {"-" [Type Label if let case]}
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." function]
+ ["[0]" function]
["ex" exception {"+" [exception:]}]]
[data
[collection
- ["." list ("#@." mix)]]]
+ ["[0]" list ("[1]@[0]" mix)]]]
[math
[number
["n" nat]]]
[target
[jvm
- ["." type {"+" [Type]}
- ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
- ["." descriptor {"+" [Descriptor]}]
- ["." signature {"+" [Signature]}]]]]
+ ["[0]" type {"+" [Type]}
+ ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+ ["[0]" descriptor {"+" [Descriptor]}]
+ ["[0]" signature {"+" [Signature]}]]]]
[tool
[compiler
- ["." phase ("operation@." monad)]
+ ["[0]" phase ("operation@[0]" monad)]
[meta
[archive {"+" [Archive]}]]
[language
[lux
- ["." synthesis {"+" [Path Synthesis]}]]]]]]]
+ ["[0]" synthesis {"+" [Path Synthesis]}]]]]]]]
[luxc
[lang
[host
["$" jvm {"+" [Label Inst Operation Phase Generator]}
["_" inst]]]]]
- ["." //
- ["." runtime]
- ["." structure]])
+ ["[0]" //
+ ["[0]" runtime]
+ ["[0]" structure]])
(def: (pop_altI stack_depth)
(-> Nat Inst)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
index 1430a3ea4..8db12bd7e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
@@ -4,27 +4,27 @@
... [abstract
... [monad {"+" [do]}]]
... [control
- ... ["." try {"+" [Try]}]
+ ... ["[0]" try {"+" [Try]}]
... ["ex" exception {"+" [exception:]}]
- ... ["." io]]
+ ... ["[0]" io]]
... [data
... [binary {"+" [Binary]}]
- ... ["." text ("#/." hash)
+ ... ["[0]" text ("[1]/[0]" hash)
... format]
... [collection
- ... ["." dictionary {"+" [Dictionary]}]]]
- ... ["." macro]
+ ... ["[0]" dictionary {"+" [Dictionary]}]]]
+ ... ["[0]" macro]
... [host {"+" [import:]}]
... [tool
... [compiler
... [reference {"+" [Register]}]
- ... ["." name]
- ... ["." phase]]]
+ ... ["[0]" name]
+ ... ["[0]" phase]]]
]]
... [luxc
... [lang
... [host
- ... ["." jvm
+ ... ["[0]" jvm
... [type]]]]]
)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
index 0586646da..087ebfaff 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
@@ -5,21 +5,21 @@
[compiler
[language
[lux
- ["." synthesis]
+ ["[0]" synthesis]
[phase
- ["." extension]]]]]]]]
+ ["[0]" extension]]]]]]]]
[luxc
[lang
[host
[jvm {"+" [Phase]}]]]]
[//
- ["." common]
- ["." primitive]
- ["." structure]
- ["." reference]
- ["." case]
- ["." loop]
- ["." function]])
+ ["[0]" common]
+ ["[0]" primitive]
+ ["[0]" structure]
+ ["[0]" reference]
+ ["[0]" case]
+ ["[0]" loop]
+ ["[0]" function]])
(def: .public (translate archive synthesis)
Phase
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
index ce0a3991b..fff364f52 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
@@ -3,13 +3,13 @@
[lux "*"
[data
[collection
- ["." dictionary]]]]]
+ ["[0]" dictionary]]]]]
[////
[host
[jvm {"+" [Bundle]}]]]
- ["." / "_"
- ["#." common]
- ["#." host]])
+ ["[0]" / "_"
+ ["[1][0]" common]
+ ["[1][0]" host]])
(def: .public bundle
Bundle
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)])
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 802d13d3f..4539ea17e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -3,56 +3,56 @@
[lux {"-" [Type Label primitive int char type]}
[ffi {"+" [import:]}]
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." maybe ("#\." functor)]
- ["." exception {"+" [exception:]}]
- ["." function]
- ["<>" parser ("#\." monad)
- ["<.>" text]
- ["<.>" synthesis {"+" [Parser]}]]]
+ ["[0]" maybe ("[1]\[0]" functor)]
+ ["[0]" exception {"+" [exception:]}]
+ ["[0]" function]
+ ["<>" parser ("[1]\[0]" monad)
+ ["<[0]>" text]
+ ["<[0]>" synthesis {"+" [Parser]}]]]
[data
- ["." product]
- ["." text ("#\." equivalence)
+ ["[0]" product]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." list ("#\." monad mix)]
- ["." dictionary {"+" [Dictionary]}]
- ["." set]]]
+ ["[0]" list ("[1]\[0]" monad mix)]
+ ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" set]]]
[macro
- ["." template]]
+ ["[0]" template]]
[math
[number
["n" nat]]]
[target
[jvm
- ["." type {"+" [Type Typed Argument]}
- ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
- ["." box]
- ["." reflection]
- ["." signature]
- ["." descriptor]
- ["." parser]]]]
+ ["[0]" type {"+" [Type Typed Argument]}
+ ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+ ["[0]" box]
+ ["[0]" reflection]
+ ["[0]" signature]
+ ["[0]" descriptor]
+ ["[0]" parser]]]]
[tool
[compiler
- ["." phase ("#\." monad)]
+ ["[0]" phase ("[1]\[0]" monad)]
[reference {"+" []}
- ["." variable {"+" [Variable Register]}]]
+ ["[0]" variable {"+" [Variable Register]}]]
[meta
[archive {"+" [Archive]}]]
[language
[lux
[analysis {"+" [Environment]}]
- ["." synthesis {"+" [Synthesis Path %synthesis]}]
- ["." generation]
+ ["[0]" synthesis {"+" [Synthesis Path %synthesis]}]
+ ["[0]" generation]
[phase
[generation
[extension {"+" [Nullary Unary Binary
nullary unary binary]}]]
[analysis
- [".A" reference]]
- ["." extension
- ["." bundle]
+ ["[0]A" reference]]
+ ["[0]" extension
+ ["[0]" bundle]
[analysis
["/" jvm]]]]]]]]]]
[luxc
@@ -60,12 +60,12 @@
[host
["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]}
["_" inst]
- ["_." def]]]]]
- ["." // "_"
+ ["_[0]" def]]]]]
+ ["[0]" // "_"
[common {"+" [custom]}]
- ["/#" //
- ["#." reference]
- ["#." function]]])
+ ["/[1]" //
+ ["[1][0]" reference]
+ ["[1][0]" function]]])
(template [<name> <category> <parser>]
[(def: .public <name>
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 9cd5efdfb..2a202fbcd 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -2,47 +2,47 @@
[library
[lux {"-" [Type Label function]}
[abstract
- ["." monad {"+" [do]}]
- ["." enum]]
+ ["[0]" monad {"+" [do]}]
+ ["[0]" enum]]
[control
[pipe {"+" [when> new>]}]
- ["." function]]
+ ["[0]" function]]
[data
- ["." product]
+ ["[0]" product]
[text
["%" format {"+" [format]}]]
[collection
- ["." list ("#@." functor monoid)]]]
+ ["[0]" list ("[1]@[0]" functor monoid)]]]
[math
[number
["n" nat]
["i" int]]]
[target
[jvm
- ["." type {"+" [Type]}
- ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
+ ["[0]" type {"+" [Type]}
+ ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
[tool
[compiler
[arity {"+" [Arity]}]
- ["." phase]
+ ["[0]" phase]
[reference
[variable {"+" [Register]}]]
[language
[lux
[analysis {"+" [Environment]}]
[synthesis {"+" [Synthesis Abstraction Apply]}]
- ["." generation {"+" [Context]}]]]
+ ["[0]" generation {"+" [Context]}]]]
[meta
[archive {"+" [Archive]}]]]]]]
[luxc
[lang
[host
["$" jvm {"+" [Label Inst Def Operation Phase Generator]}
- ["." def]
+ ["[0]" def]
["_" inst]]]]]
- ["." //
- ["#." runtime]
- ["." reference]])
+ ["[0]" //
+ ["[1][0]" runtime]
+ ["[0]" reference]])
(def: arity_field Text "arity")
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 1583cbed3..7d037280d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -2,30 +2,30 @@
[library
[lux "*"
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." function]]
+ ["[0]" function]]
[data
[collection
- ["." list ("#@." functor monoid)]]]
+ ["[0]" list ("[1]@[0]" functor monoid)]]]
[math
[number
["n" nat]]]
[tool
[compiler
- ["." phase]
+ ["[0]" phase]
[reference
[variable {"+" [Register]}]]
[language
[lux
- ["." synthesis {"+" [Synthesis]}]
- ["." generation]]]]]]]
+ ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" generation]]]]]]]
[luxc
[lang
[host
[jvm {"+" [Inst Operation Phase Generator]}
["_" inst]]]]]
- ["." //])
+ ["[0]" //])
(def: (invariant? expected actual)
(-> Register Synthesis Bit)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 1b1c0dd3b..1e93db481 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux {"-" [i64]}
- ["." ffi {"+" [import:]}]
+ ["[0]" ffi {"+" [import:]}]
[math
[number
["i" int]]]
[target
[jvm
- ["." type]]]
+ ["[0]" type]]]
[tool
[compiler
- [phase ("operation@." monad)]]]]]
+ [phase ("operation@[0]" monad)]]]]]
[luxc
[lang
[host
- ["." jvm {"+" [Inst Operation]}
+ ["[0]" jvm {"+" [Inst Operation]}
["_" inst]]]]])
(def: .public bit
@@ -24,12 +24,12 @@
(operation@in (_.GETSTATIC Boolean (if value "TRUE" "FALSE") Boolean)))))
(import: java/lang/Byte
- ["#::."
+ ["[1]::[0]"
("static" MAX_VALUE byte)
("static" MIN_VALUE byte)])
(import: java/lang/Short
- ["#::."
+ ["[1]::[0]"
("static" MAX_VALUE short)
("static" MIN_VALUE short)])
@@ -67,7 +67,7 @@
(operation@in (|>> constantI (_.wrap type.long))))))
(import: java/lang/Double
- ["#::."
+ ["[1]::[0]"
("static" doubleToRawLongBits "manual" [double] int)])
(def: d0-bits
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/program.lux b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
index e12e3b0e7..1db9028d1 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/program.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
@@ -20,8 +20,8 @@
["$d" def]
["$i" inst]]]
[translation
- ["." jvm
- ["." runtime]]]]])
+ ["[0]" jvm
+ ["[0]" runtime]]]]])
(def: ^Object ($t.class "java.lang.Object" (list)))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index 204fddfa8..9b0feeb78 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -8,24 +8,24 @@
["%" format {"+" [format]}]]]
[target
[jvm
- ["." type]]]
+ ["[0]" type]]]
[tool
[compiler
[reference
- ["." variable {"+" [Register Variable]}]]
- ["." phase ("operation@." monad)]
+ ["[0]" variable {"+" [Register Variable]}]]
+ ["[0]" phase ("operation@[0]" monad)]
[meta
[archive {"+" [Archive]}]]
[language
[lux
- ["." generation]]]]]]]
+ ["[0]" generation]]]]]]]
[luxc
[lang
[host
[jvm {"+" [Inst Operation]}
["_" inst]]]]]
- ["." //
- ["#." runtime]])
+ ["[0]" //
+ ["[1][0]" runtime]])
(template [<name> <prefix>]
[(def: .public <name>
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index c351dd21c..8deac8430 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -3,41 +3,41 @@
[lux {"-" [Type Label try]}
[abstract
[monad {"+" [do]}]
- ["." enum]]
+ ["[0]" enum]]
[data
[binary {"+" [Binary]}]
- ["." product]
+ ["[0]" product]
[text
["%" format {"+" [format]}]]
[collection
- ["." list ("#@." functor)]
- ["." row]]]
- ["." math
+ ["[0]" list ("[1]@[0]" functor)]
+ ["[0]" row]]]
+ ["[0]" math
[number
["n" nat]]]
[target
[jvm
- ["." type {"+" [Type]}
- ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
- ["." reflection]]]]
+ ["[0]" type {"+" [Type]}
+ ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
+ ["[0]" reflection]]]]
[tool
[compiler
[arity {"+" [Arity]}]
- ["." phase]
+ ["[0]" phase]
[language
[lux
- ["." synthesis]
- ["." generation]]]
+ ["[0]" synthesis]
+ ["[0]" generation]]]
[meta
[archive {"+" [Output]}
- ["." artifact {"+" [Registry]}]]]]]]]
+ ["[0]" artifact {"+" [Registry]}]]]]]]]
[luxc
[lang
[host
["$" jvm {"+" [Label Inst Def Operation]}
["$d" def]
["_" inst]]]]]
- ["." // {"+" [ByteCode]}])
+ ["[0]" // {"+" [ByteCode]}])
(def: $Text (type.class "java.lang.String" (list)))
(def: .public $Lefts type.int)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index a8c117f6e..2a688f4cc 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,29 +1,29 @@
(.module:
[library
[lux {"-" [Type]}
- ["." ffi {"+" [import:]}]
+ ["[0]" ffi {"+" [import:]}]
[abstract
- ["." monad {"+" [do]}]]
+ ["[0]" monad {"+" [do]}]]
[control
- ["." exception {"+" [exception:]}]]
+ ["[0]" exception {"+" [exception:]}]]
[data
[text
["%" format {"+" [format]}]]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
[number
["n" nat]
["i" int]]]
[target
[jvm
- ["." type {"+" [Type]}
- ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
- ["." descriptor {"+" [Descriptor]}]
- ["." signature {"+" [Signature]}]]]]
+ ["[0]" type {"+" [Type]}
+ ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+ ["[0]" descriptor {"+" [Descriptor]}]
+ ["[0]" signature {"+" [Signature]}]]]]
[tool
[compiler
- ["." phase]
+ ["[0]" phase]
[meta
[archive {"+" [Archive]}]]
[language
@@ -34,8 +34,8 @@
[host
[jvm {"+" [Inst Operation Phase Generator]}
["_" inst]]]]]
- ["." //
- ["#." runtime]])
+ ["[0]" //
+ ["[1][0]" runtime]])
(exception: .public (not_a_tuple {size Nat})
(exception.report
@@ -63,12 +63,12 @@
membersI))))
(import: java/lang/Byte
- ["#::."
+ ["[1]::[0]"
("static" MAX_VALUE byte)
("static" MIN_VALUE byte)])
(import: java/lang/Short
- ["#::."
+ ["[1]::[0]"
("static" MAX_VALUE short)
("static" MIN_VALUE short)])