From eea741e9b4a47ae09832311d6d61f0bd6024f673 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 31 Oct 2020 02:59:48 -0400
Subject: Easy to use Rev constants.

---
 stdlib/source/spec/compositor/generation/structure.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/spec/compositor/generation/structure.lux')

diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux
index c0539a975..cd790c6d2 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/spec/compositor/generation/structure.lux
@@ -30,9 +30,9 @@
 
 (def: (variant run)
   (-> Runner Test)
-  (do {@ r.monad}
-    [num-tags (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2))))
-     tag-in (|> r.nat (:: @ map (n.% num-tags)))
+  (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))]
      value-in r.i64]
     (_.test (%.name (name-of synthesis.variant))
@@ -65,8 +65,8 @@
 
 (def: (tuple run)
   (-> Runner Test)
-  (do {@ r.monad}
-    [size (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2))))
+  (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))
             (|> (synthesis.tuple (list@map (|>> synthesis.i64) tuple-in))
-- 
cgit v1.2.3