From 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 5 Sep 2021 22:52:26 -0400
Subject: Changed the syntax of do/be's (co)monad bindings.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 2 +-
 stdlib/source/poly/lux/abstract/functor.lux     | 2 +-
 stdlib/source/poly/lux/data/format/json.lux     | 4 ++--
 3 files changed, 4 insertions(+), 4 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 6273ef67f..73249fe27 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -42,7 +42,7 @@
    ["." /]])
 
 (poly: .public equivalence
-  (`` (do {! <>.monad}
+  (`` (do [! <>.monad]
         [.let [g!_ (code.local_identifier "_____________")]
          *env* <type>.env
          inputT <type>.next
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index b6f841560..151ea600c 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -25,7 +25,7 @@
    ["." /]])
 
 (poly: .public functor
-  (do {! p.monad}
+  (do [! p.monad]
     [.let [g!_ (code.local_identifier "____________")
            type_funcC (code.local_identifier "____________type_funcC")
            funcC (code.local_identifier "____________funcC")
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 2412f65e4..a1c82c509 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -123,7 +123,7 @@
               [date.Date date.codec]
               [day.Day day.codec]
               [month.Month month.codec])]
-    (do {! <>.monad}
+    (do [! <>.monad]
       [*env* <type>.env
        .let [g!_ (code.local_identifier "_______")
              @JSON\encoded (: (-> Type Code)
@@ -247,7 +247,7 @@
               [date.Date date.codec]
               [day.Day day.codec]
               [month.Month month.codec])]
-    (do {! <>.monad}
+    (do [! <>.monad]
       [*env* <type>.env
        .let [g!_ (code.local_identifier "_______")
              @JSON\decoded (: (-> Type Code)
-- 
cgit v1.2.3