From 34e310622bdeb1d0588c0664c0e78cbaa84f837c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 2 Dec 2020 06:42:20 -0400
Subject: Re-named "::" and ":::" macros to "\" and "\\", to be consistent with
 the convention that only macros that deal with types may start with a colon.

---
 stdlib/source/spec/compositor/generation/case.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux
index 908fef201..958110ce4 100644
--- a/stdlib/source/spec/compositor/generation/case.lux
+++ b/stdlib/source/spec/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 map (|>> (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 (\ ! map (n.% size)))
                  [subS subP] case
                  #let [unitS (synthesis.text synthesis.unit)
                        caseS (synthesis.tuple
@@ -81,7 +81,7 @@
                 (wrap [caseS caseP]))
               (do {! r.monad}
                 [size ..size
-                 idx (|> r.nat (:: ! map (n.% size)))
+                 idx (|> r.nat (\ ! map (n.% size)))
                  [subS subP] case
                  #let [right? (tail? size idx)
                        caseS (synthesis.variant
@@ -249,7 +249,7 @@
       (_.test "==="
               (and (text\= (synthesis.%path special-path)
                            (synthesis.%path special-pattern-path))
-                   (:: synthesis.path-equivalence = special-path special-pattern-path)))
+                   (\ synthesis.path-equivalence = special-path special-pattern-path)))
       (_.test "CODE"
               (|> special-input
                   (run "special-input")
-- 
cgit v1.2.3