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

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

diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux
index 414b468e2..b4fa47b99 100644
--- a/stdlib/source/spec/compositor/generation/case.lux
+++ b/stdlib/source/spec/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 (:: @ map (n.% size)))
                  [subS subP] case
@@ -79,7 +79,7 @@
                                    (synthesis.member/left idx))
                                  subP)]]
                 (wrap [caseS caseP]))
-              (do r.monad
+              (do {@ r.monad}
                 [size ..size
                  idx (|> r.nat (:: @ map (n.% size)))
                  [subS subP] case
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux
index c2289571a..5868191c4 100644
--- a/stdlib/source/spec/compositor/generation/common.lux
+++ b/stdlib/source/spec/compositor/generation/common.lux
@@ -174,7 +174,7 @@
 
 (def: (text run)
   (-> Runner Test)
-  (do r.monad
+  (do {@ r.monad}
     [sample-size (|> r.nat (:: @ map (|>> (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/spec/compositor/generation/function.lux b/stdlib/source/spec/compositor/generation/function.lux
index 9af307287..3de0301b8 100644
--- a/stdlib/source/spec/compositor/generation/function.lux
+++ b/stdlib/source/spec/compositor/generation/function.lux
@@ -46,7 +46,7 @@
 
 (def: #export (spec run)
   (-> Runner Test)
-  (do r.monad
+  (do {@ r.monad}
     [[arity local functionS] ..function
      partial-arity (|> r.nat (:: @ map (|>> (n.% arity) (n.max 1))))
      inputs (r.list arity r.safe-frac)
diff --git a/stdlib/source/spec/compositor/generation/reference.lux b/stdlib/source/spec/compositor/generation/reference.lux
index 5da59d0b4..8c53db6c6 100644
--- a/stdlib/source/spec/compositor/generation/reference.lux
+++ b/stdlib/source/spec/compositor/generation/reference.lux
@@ -39,7 +39,7 @@
 
 (def: (variable run)
   (-> Runner Test)
-  (do r.monad
+  (do {@ r.monad}
     [register (|> r.nat (:: @ map (n.% 100)))
      expected r.safe-frac]
     (_.test "Local variables."
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux
index 0697e5338..e16702d3e 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/spec/compositor/generation/structure.lux
@@ -30,7 +30,7 @@
 
 (def: (variant run)
   (-> Runner Test)
-  (do r.monad
+  (do {@ r.monad}
     [num-tags (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2))))
      tag-in (|> r.nat (:: @ map (n.% num-tags)))
      #let [last?-in (|> num-tags dec (n.= tag-in))]
@@ -65,7 +65,7 @@
 
 (def: (tuple run)
   (-> Runner Test)
-  (do r.monad
+  (do {@ r.monad}
     [size (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2))))
      tuple-in (r.list size r.i64)]
     (_.test (%.name (name-of synthesis.tuple))
-- 
cgit v1.2.3