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/repository.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 5f05d342e..55bd3af19 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -74,7 +74,7 @@
       #.None
       (exception.throw ..not-found [artifact extension])))
   (def: (on-upload requester artifact extension content state)
-    (if (:: identity-equivalence = identity requester)
+    (if (\ identity-equivalence = identity requester)
       (exception.return (dictionary.put [artifact extension] content state))
       (exception.throw ..invalid-identity [requester]))))
 
@@ -83,7 +83,7 @@
   (<| (_.covering /._)
       (do {! random.monad}
         [valid ..identity
-         invalid (random.filter (|>> (:: identity-equivalence = valid) not)
+         invalid (random.filter (|>> (\ identity-equivalence = valid) not)
                                 ..identity)]
         ($_ _.and
             (_.with-cover [/.mock /.Simulation]
-- 
cgit v1.2.3