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

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