aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc
diff options
context:
space:
mode:
authorEduardo Julian2022-03-30 14:05:57 -0400
committerEduardo Julian2022-03-30 14:05:57 -0400
commit381ec5920d9ebeb335963778dec182268819e718 (patch)
tree5c9288c5fbb16c21a0f00f96710b0aa7db4585f4 /lux-jvm/source/luxc
parent1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (diff)
Now demanding mandatory loop names, instead of using default "again" name.
Diffstat (limited to 'lux-jvm/source/luxc')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
2 files changed, 3 insertions, 3 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 34074c43c..77acf5b35 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -376,7 +376,7 @@
array_size (list.size keys+labels)
keys_array (ffi.array int array_size)
labels_array (ffi.array org/objectweb/asm/Label array_size)
- _ (loop [idx 0]
+ _ (loop (again [idx 0])
(if (n.< array_size idx)
(let [[key label] (maybe.trusted (list.item idx keys+labels))]
(exec
@@ -392,7 +392,7 @@
(function (_ visitor)
(let [num_labels (list.size labels)
labels_array (ffi.array org/objectweb/asm/Label num_labels)
- _ (loop [idx 0]
+ _ (loop (again [idx 0])
(if (n.< num_labels idx)
(exec (ffi.write! idx
(maybe.trusted (list.item idx labels))
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 91b664b54..cb1ce6f6c 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -834,7 +834,7 @@
hidden
[_ {synthesis.#Control {synthesis.#Branch {synthesis.#Case _ path}}}]
- (loop [path (is synthesis.Path path)]
+ (loop (again [path (is synthesis.Path path)])
(case path
(^.or {synthesis.#Pop}
{synthesis.#Access _}