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 +-
 new-luxc/source/luxc/lang/translation/jvm/extension/host.lux   | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

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

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])
diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
index d448d182c..7b90a8e4f 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
@@ -716,7 +716,7 @@
   (..custom
    [($_ <>.and ..class <s>.text ..return (<>.some ..input))
     (function (_ extension-name generate archive [class method outputT inputsTS])
-      (do phase.monad
+      (do {@ phase.monad}
         [inputsTI (monad.map @ (generate-input generate archive) inputsTS)]
         (wrap (|>> (_.fuse (list@map product.right inputsTI))
                    (_.INVOKESTATIC class method (type.method [(list@map product.left inputsTI) outputT (list)]))
@@ -728,7 +728,7 @@
      (..custom
       [($_ <>.and ..class <s>.text ..return <s>.any (<>.some ..input))
        (function (_ extension-name generate archive [class method outputT objectS inputsTS])
-         (do phase.monad
+         (do {@ phase.monad}
            [objectI (generate archive objectS)
             inputsTI (monad.map @ (generate-input generate archive) inputsTS)]
            (wrap (|>> objectI
@@ -750,7 +750,7 @@
   (..custom
    [($_ <>.and ..class (<>.some ..input))
     (function (_ extension-name generate archive [class inputsTS])
-      (do phase.monad
+      (do {@ phase.monad}
         [inputsTI (monad.map @ (generate-input generate archive) inputsTS)]
         (wrap (|>> (_.NEW class)
                    _.DUP
@@ -911,7 +911,7 @@
 
 (def: (anonymous-instance archive class env)
   (-> Archive (Type Class) Environment (Operation Inst))
-  (do phase.monad
+  (do {@ phase.monad}
     [captureI+ (monad.map @ (///reference.variable archive) env)]
     (wrap (|>> (_.NEW class)
                _.DUP
@@ -958,7 +958,7 @@
     (function (_ extension-name generate archive [super-class super-interfaces
                                                   inputsTS
                                                   overriden-methods])
-      (do phase.monad
+      (do {@ phase.monad}
         [[context _] (generation.with-new-context archive (wrap []))
          #let [[module-id artifact-id] context
                anonymous-class-name (///.class-name context)
-- 
cgit v1.2.3