From 381ec5920d9ebeb335963778dec182268819e718 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Mar 2022 14:05:57 -0400
Subject: Now demanding mandatory loop names, instead of using default "again"
 name.

---
 lux-jvm/source/luxc/lang/host/jvm/inst.lux                  | 4 ++--
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lux-jvm')

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 _}
-- 
cgit v1.2.3