From 36303d6cb2ce3ab9e36d045b9516c997bd461862 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 24 Aug 2021 05:23:45 -0400
Subject: Outsourced the syntax for labelled type definitions to macros.

---
 stdlib/source/specification/compositor/generation/case.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/case.lux')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 87fc1a5fc..3bfcec4e8 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -32,7 +32,7 @@
 
 (def: size
   (Random Nat)
-  (|> r.nat (\ r.monad map (|>> (n.% ..limit) (n.max 2)))))
+  (|> r.nat (\ r.monad each (|>> (n.% ..limit) (n.max 2)))))
 
 (def: (tail? size idx)
   (-> Nat Nat Bit)
@@ -66,7 +66,7 @@
                     [(r.unicode 5) synthesis.text synthesis.path/text]))
               (do {! r.monad}
                 [size ..size
-                 idx (|> r.nat (\ ! map (n.% size)))
+                 idx (|> r.nat (\ ! each (n.% size)))
                  [subS subP] case
                  .let [unitS (synthesis.text synthesis.unit)
                        caseS (synthesis.tuple
@@ -81,7 +81,7 @@
                 (in [caseS caseP]))
               (do {! r.monad}
                 [size ..size
-                 idx (|> r.nat (\ ! map (n.% size)))
+                 idx (|> r.nat (\ ! each (n.% size)))
                  [subS subP] case
                  .let [right? (tail? size idx)
                        caseS (synthesis.variant
-- 
cgit v1.2.3