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.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 2 +-
 stdlib/source/poly/lux/abstract/functor.lux     | 2 +-
 stdlib/source/poly/lux/data/format/json.lux     | 7 +++----
 3 files changed, 5 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 5ecdaf12a..3ee6fb5c5 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -42,7 +42,7 @@
    ["." /]})
 
 (poly: #export equivalence
-  (`` (do @
+  (`` (do {@ p.monad}
         [#let [g!_ (code.local-identifier "_____________")]
          *env* <type>.env
          inputT <type>.peek
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 747d3c811..4fdff71ef 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -24,7 +24,7 @@
    ["." /]})
 
 (poly: #export functor
-  (do @
+  (do {@ p.monad}
     [#let [type-funcC (code.local-identifier "____________type-funcC")
            funcC (code.local-identifier "____________funcC")
            inputC (code.local-identifier "____________inputC")]
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index b8c43df31..e23d5648c 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -118,7 +118,7 @@
               [date.Date date.codec]
               [day.Day day.codec]
               [month.Month month.codec])]
-    (do @
+    (do {@ p.monad}
       [*env* <type>.env
        #let [@JSON//encode (: (-> Type Code)
                               (function (_ type)
@@ -233,9 +233,8 @@
               ## [instant.Instant instant.codec]
               [date.Date date.codec]
               [day.Day day.codec]
-              [month.Month month.codec])
-     ]
-    (do @
+              [month.Month month.codec])]
+    (do {@ p.monad}
       [*env* <type>.env
        #let [@JSON//decode (: (-> Type Code)
                               (function (_ type)
-- 
cgit v1.2.3