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/extension/common.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux
index 6d3cbbd46..383415c0a 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux
@@ -92,7 +92,7 @@
              (function (_ extension-name phase archive [input else conditionals])
                (<| _.with-label (function (_ @end))
                    _.with-label (function (_ @else))
-                   (do phase.monad
+                   (do {@ phase.monad}
                      [inputG (phase archive input)
                       elseG (phase archive else)
                       conditionalsG+ (: (Operation (List [(List [Int Label])
-- 
cgit v1.2.3