aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm.lux1
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux4
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux3
3 files changed, 4 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux
index 01bc2b36f..d1d1a9f4c 100644
--- a/new-luxc/source/luxc/lang/translation/jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm.lux
@@ -135,7 +135,6 @@
(def: #export runtime-class "LuxRuntime")
(def: #export function-class "LuxFunction")
(def: #export runnable-class "LuxRunnable")
-(def: #export unit "")
(def: #export $Variant jvm.Type (type.array 1 ..$Object))
(def: #export $Tuple jvm.Type (type.array 1 ..$Object))
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
index f63c82108..55cf8a644 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
@@ -15,7 +15,7 @@
["s" syntax (#+ syntax:)]]
[tool
[compiler
- [synthesis (#+ Synthesis)]
+ ["." synthesis (#+ Synthesis)]
["." phase
["." extension
["." bundle]]]]]
@@ -99,7 +99,7 @@
(_.label @end)
)))
-(def: unitI Inst (_.string ///.unit))
+(def: unitI Inst (_.string synthesis.unit))
## Extensions
### Lux
diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux
index 0dbef1563..ae984baa9 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux
@@ -11,6 +11,7 @@
[tool
[compiler
[analysis (#+ Arity)]
+ ["." synthesis]
["." phase
["." translation]]]]]
[luxc
@@ -72,7 +73,7 @@
Inst
(|>> (_.int +0)
_.NULL
- (_.string //.unit)
+ (_.string synthesis.unit)
variantI))
(def: (try-methodI unsafeI)