From d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 17 May 2020 20:10:42 -0400
Subject: Local binding names for (co|indexed-)?monads are now explicitly set.
---
new-luxc/source/luxc/lang/translation/r/loop.jvm.lux | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'new-luxc/source/luxc/lang/translation/r/loop.jvm.lux')
diff --git a/new-luxc/source/luxc/lang/translation/r/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/r/loop.jvm.lux
index c64973d8f..f1197e5ce 100644
--- a/new-luxc/source/luxc/lang/translation/r/loop.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/loop.jvm.lux
@@ -14,7 +14,7 @@
(def: #export (translate-loop translate offset initsS+ bodyS)
(-> (-> ls.Synthesis (Meta Expression)) Nat (List ls.Synthesis) ls.Synthesis
(Meta Expression))
- (do macro.Monad
+ (do {@ macro.Monad}
[loop-name (|> (macro.gensym "loop")
(:: @ map (|>> %code lang.normalize-name)))
initsO+ (monad.map @ translate initsS+)
@@ -31,7 +31,7 @@
(def: #export (translate-recur translate argsS+)
(-> (-> ls.Synthesis (Meta Expression)) (List ls.Synthesis)
(Meta Expression))
- (do macro.Monad
+ (do {@ macro.Monad}
[[loop-name offset] //.anchor
argsO+ (monad.map @ translate argsS+)]
(wrap (r.apply argsO+ (r.global loop-name)))))
--
cgit v1.2.3