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/test/licentia.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/test/licentia.lux')

diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux
index 61bdbb0b2..619d9c711 100644
--- a/stdlib/source/test/licentia.lux
+++ b/stdlib/source/test/licentia.lux
@@ -42,7 +42,7 @@
 
 (def: period
   (Random (Period Nat))
-  (do r.monad
+  (do {@ r.monad}
     [start (r.filter (|>> (n.= n@top) not)
                      r.nat)
      #let [wiggle-room (n.- start n@top)]
@@ -104,7 +104,7 @@
 
 (def: (variable-list max-size gen-element)
   (All [a] (-> Nat (Random a) (Random (List a))))
-  (do r.monad
+  (do {@ r.monad}
     [amount (:: @ map (n.% (n.max 1 max-size))
                 r.nat)]
     (r.list amount gen-element)))
-- 
cgit v1.2.3