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, 2 insertions, 2 deletions

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]