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/specification/compositor/generation/case.lux      | 4 ++--
 stdlib/source/specification/compositor/generation/common.lux    | 2 +-
 stdlib/source/specification/compositor/generation/function.lux  | 2 +-
 stdlib/source/specification/compositor/generation/reference.lux | 2 +-
 stdlib/source/specification/compositor/generation/structure.lux | 4 ++--
 5 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/specification/compositor')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index c7c221eb7..d71abc703 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -64,7 +64,7 @@
                     [r.i64         synthesis.i64  synthesis.path/i64]
                     [r.frac        synthesis.f64  synthesis.path/f64]
                     [(r.unicode 5) synthesis.text synthesis.path/text]))
-              (do {! r.monad}
+              (do [! r.monad]
                 [size ..size
                  idx (|> r.nat (\ ! each (n.% size)))
                  [subS subP] case
@@ -79,7 +79,7 @@
                                    (synthesis.member/left idx))
                                  subP)]]
                 (in [caseS caseP]))
-              (do {! r.monad}
+              (do [! r.monad]
                 [size ..size
                  idx (|> r.nat (\ ! each (n.% size)))
                  [subS subP] case
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 18d739d8e..917d830b6 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -174,7 +174,7 @@
 
 (def: (text run)
   (-> Runner Test)
-  (do {! r.monad}
+  (do [! r.monad]
     [sample_size (|> r.nat (\ ! each (|>> (n.% 10) (n.max 1))))
      sample_lower (r.ascii/lower_alpha sample_size)
      sample_upper (r.ascii/upper_alpha sample_size)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index dc92cc224..f356bce90 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -49,7 +49,7 @@
 
 (def: .public (spec run)
   (-> Runner Test)
-  (do {! r.monad}
+  (do [! r.monad]
     [[arity local functionS] ..function
      partial_arity (|> r.nat (\ ! each (|>> (n.% arity) (n.max 1))))
      inputs (r.list arity r.safe_frac)
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index bcf2bb2d1..37aea49fe 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -39,7 +39,7 @@
 
 (def: (variable run)
   (-> Runner Test)
-  (do {! r.monad}
+  (do [! r.monad]
     [register (|> r.nat (\ ! each (n.% 100)))
      expected r.safe_frac]
     (_.test "Local variables."
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 4161c650a..cd86ecab2 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -30,7 +30,7 @@
 
 (def: (variant run)
   (-> Runner Test)
-  (do {! r.monad}
+  (do [! r.monad]
     [num_tags (|> r.nat (\ ! each (|>> (n.% 10) (n.max 2))))
      tag_in (|> r.nat (\ ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
@@ -65,7 +65,7 @@
 
 (def: (tuple run)
   (-> Runner Test)
-  (do {! r.monad}
+  (do [! r.monad]
     [size (|> r.nat (\ ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
     (_.test (%.name (name_of synthesis.tuple))
-- 
cgit v1.2.3