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/jvm/loop.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/jvm/loop.lux')

diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.lux
index 14b305843..1f2168fed 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/loop.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/loop.lux
@@ -35,7 +35,7 @@
 
 (def: #export (recur translate archive argsS)
   (Generator (List Synthesis))
-  (do phase.monad
+  (do {@ phase.monad}
     [[@begin start] generation.anchor
      #let [end (|> argsS list.size dec (n.+ start))
            pairs (list.zip2 (list.n/range start end)
@@ -66,7 +66,7 @@
 
 (def: #export (scope translate archive [start initsS+ iterationS])
   (Generator [Nat (List Synthesis) Synthesis])
-  (do phase.monad
+  (do {@ phase.monad}
     [@begin _.make-label
      initsI+ (monad.map @ (translate archive) initsS+)
      iterationI (generation.with-anchor [@begin start]
-- 
cgit v1.2.3