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/licentia.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/test/licentia.lux')

diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux
index 506a61c61..92b43b20c 100644
--- a/stdlib/source/test/licentia.lux
+++ b/stdlib/source/test/licentia.lux
@@ -46,9 +46,9 @@
     [start (r.filter (|>> (n.= n\top) not)
                      r.nat)
      #let [wiggle-room (n.- start n\top)]
-     end (:: ! map
-             (|>> (n.% wiggle-room) (n.max 1))
-             r.nat)]
+     end (\ ! map
+            (|>> (n.% wiggle-room) (n.max 1))
+            r.nat)]
     (wrap {#time.start start
            #time.end end})))
 
@@ -105,8 +105,8 @@
 (def: (variable-list max-size gen-element)
   (All [a] (-> Nat (Random a) (Random (List a))))
   (do {! r.monad}
-    [amount (:: ! map (n.% (n.max 1 max-size))
-                r.nat)]
+    [amount (\ ! map (n.% (n.max 1 max-size))
+               r.nat)]
     (r.list amount gen-element)))
 
 (def: black-list
-- 
cgit v1.2.3