aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux16
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux6
2 files changed, 11 insertions, 11 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index e22d9c427..71b0a4dac 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -20,7 +20,7 @@
[array {"+" Array}]
["[0]" list ("[1]#[0]" mix functor monoid)]
["[0]" dictionary {"+" Dictionary}]
- ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]]
[math
[number
["[0]" nat]]]
@@ -515,11 +515,11 @@
(def: (relabel_bytecode [mapping bytecode])
(Re_labeler (/.Bytecode Inst))
- (row#mix (function (_ input [mapping output])
- (let [[mapping input'] (..relabel_instruction [mapping input])]
- [mapping (row.suffix input' output)]))
- [mapping (row.row)]
- bytecode))
+ (sequence#mix (function (_ input [mapping output])
+ (let [[mapping input'] (..relabel_instruction [mapping input])]
+ [mapping (sequence.suffix input' output)]))
+ [mapping (sequence.sequence)]
+ bytecode))
(def: fresh
Mapping
@@ -530,8 +530,8 @@
(|>> [..fresh]
..relabel_bytecode
product.right
- (row#each ..instruction)
- row.list
+ (sequence#each ..instruction)
+ sequence.list
_.fuse))
(with_expansions [<anchor> (as_is jvm.Anchor)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 58d07e663..df493f551 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -11,7 +11,7 @@
["%" format {"+" format}]]
[collection
["[0]" list ("[1]@[0]" functor)]
- ["[0]" row]]]
+ ["[0]" sequence]]]
["[0]" math
[number
["n" nat]]]
@@ -414,5 +414,5 @@
product.right
artifact.resource
product.right)
- (row.row runtime_payload
- function_payload)])))
+ (sequence.sequence runtime_payload
+ function_payload)])))