aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux4
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux2
7 files changed, 8 insertions, 8 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 1d1c4c278..e22d9c427 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type static local}
+ [lux {"-" Type Primitive static local}
["[0]" ffi {"+" Inheritance Privacy State import:}]
[abstract
["[0]" monad {"+" do}]]
@@ -540,7 +540,7 @@
<type_vars> (as_is <anchor> <expression> <directive>)]
(type: Handler'
... (generation.Handler jvm.Anchor (/.Bytecode Inst /.Label) jvm.Definition)
- (-> extension.Symbol
+ (-> extension.Name
(phase.Phase [(extension.Bundle <type_vars>)
(generation.State <type_vars>)]
Synthesis
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 1384d1a73..597426143 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type int char try}
+ [lux {"-" Type Primitive int char try}
["[0]" ffi {"+" import: do_to}]
[abstract
[monad {"+" do}]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 032b058df..1cded57dd 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type Label if let case}
+ [lux {"-" Type Label Primitive if let case}
[abstract
["[0]" monad {"+" do}]]
[control
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 a8becd813..c31d9b90b 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type Label primitive int char type}
+ [lux {"-" Type Label Primitive int char type}
[ffi {"+" import:}]
[abstract
["[0]" monad {"+" do}]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 17a246833..441eac0f6 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type Label function}
+ [lux {"-" Type Label Primitive function}
[abstract
["[0]" monad {"+" do}]
["[0]" enum]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index ae14639f0..58d07e663 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type Label try}
+ [lux {"-" Type Label Primitive try}
[abstract
[monad {"+" do}]
["[0]" enum]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index bccdf5ec0..81f3faaa8 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type}
+ [lux {"-" Type Primitive}
["[0]" ffi {"+" import:}]
[abstract
["[0]" monad {"+" do}]]