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/hash.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 745ec0910..472342c70 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -30,8 +30,8 @@
     (-> (-> Binary (/.Hash h))
         (Random (/.Hash h))))
   (do {! random.monad}
-    [size (:: ! map (n.% 100) random.nat)]
-    (:: ! map hash (_binary.random size))))
+    [size (\ ! map (n.% 100) random.nat)]
+    (\ ! map hash (_binary.random size))))
 
 (def: #export test
   Test
@@ -51,13 +51,13 @@
                              (_.cover [<hash> <constructor> <exception>]
                                       (and (case (<constructor> (/.data expected))
                                              (#try.Success actual)
-                                             (:: /.equivalence = expected actual)
+                                             (\ /.equivalence = expected actual)
 
                                              (#try.Failure error)
                                              false)
-                                           (case (<constructor> (:: binary.monoid compose
-                                                                    (/.data expected)
-                                                                    (/.data expected)))
+                                           (case (<constructor> (\ binary.monoid compose
+                                                                   (/.data expected)
+                                                                   (/.data expected)))
                                              (#try.Success actual)
                                              false
 
@@ -80,9 +80,9 @@
                           [(do random.monad
                              [expected (..random <hash>)]
                              (_.cover [<codec>]
-                                      (case (:: <codec> decode
-                                                (format (:: <codec> encode expected)
-                                                        "AABBCC"))
+                                      (case (\ <codec> decode
+                                               (format (\ <codec> encode expected)
+                                                       "AABBCC"))
                                         (#try.Success actual)
                                         false
 
-- 
cgit v1.2.3