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/test/aedifex/parser.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/test/aedifex/parser.lux')

diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 394f93977..248023e80 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -39,14 +39,14 @@
 (def: (list-of random)
   (All [a] (-> (Random a) (Random (List a))))
   (do {! random.monad}
-    [size (:: ! map (n.% 5) random.nat)]
+    [size (\ ! map (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (dictionary-of key-hash key-random value-random)
   (All [k v] (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
-  (:: random.functor map
-      (dictionary.from-list key-hash)
-      (..list-of (random.and key-random value-random))))
+  (\ random.functor map
+     (dictionary.from-list key-hash)
+     (..list-of (random.and key-random value-random))))
 
 (def: random
   (Random Project)
@@ -74,7 +74,7 @@
                        (|> expected
                            ..with-default-sources
                            (//project.project //.default)
-                           (:: //project.equivalence = actual))
+                           (\ //project.equivalence = actual))
                        
                        (#try.Failure error)
                        false)))))
@@ -82,7 +82,7 @@
 (def: (with-empty-profile project)
   (-> Project Project)
   (if (dictionary.empty? project)
-    (//project.project //.default (:: //.monoid identity))
+    (//project.project //.default (\ //.monoid identity))
     project))
 
 (def: multiple-profiles
@@ -101,7 +101,7 @@
                            (list\map (function (_ [name profile])
                                        [name (..with-default-sources profile)]))
                            (dictionary.from-list text.hash)
-                           (:: //project.equivalence = actual))
+                           (\ //project.equivalence = actual))
                        
                        (#try.Failure error)
                        false)))))
-- 
cgit v1.2.3