Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.

1 files changed, 4 insertions, 4 deletions

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")