diff options
| author | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
| commit | 381ec5920d9ebeb335963778dec182268819e718 (patch) | |
| tree | 5c9288c5fbb16c21a0f00f96710b0aa7db4585f4 /lux-jvm | |
| parent | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (diff) | |
Now demanding mandatory loop names, instead of using default "again" name.
Diffstat (limited to 'lux-jvm')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm/inst.lux | 4 | ||||
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 |
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 _} |