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

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux
index fa91b41df..888ad9545 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/function.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux
@@ -103,7 +103,7 @@
 
 (def: (instance archive class arity env)
   (-> Archive (Type Class) Arity Environment (Operation Inst))
-  (do phase.monad
+  (do {@ phase.monad}
     [captureI+ (monad.map @ (reference.variable archive) env)
      #let [argsI (if (poly-arg? arity)
                    (|> (nullsI (dec arity))
@@ -317,7 +317,7 @@
 
 (def: #export (call generate archive [functionS argsS])
   (Generator Apply)
-  (do phase.monad
+  (do {@ phase.monad}
     [functionI (generate archive functionS)
      argsI (monad.map @ (generate archive) argsS)
      #let [applyI (|> argsI
-- 
cgit v1.2.3