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/poly/lux/abstract/equivalence.lux |  4 ++--
 stdlib/source/poly/lux/data/format/json.lux     | 16 ++++++++--------
 2 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 0f5db0309..f8d8d1fa8 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -163,6 +163,6 @@
             <type>.recursive-call
             ## If all else fails...
             (|> <type>.any
-                (:: ! map (|>> %.type (format "Cannot create Equivalence for: ") p.fail))
-                (:: ! join))
+                (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") p.fail))
+                (\ ! join))
             ))))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 719817b3b..3cba2eb3b 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -73,9 +73,9 @@
 (structure: int-codec
   (codec.Codec JSON Int)
   
-  (def: encode (|>> .nat (:: nat-codec encode)))
+  (def: encode (|>> .nat (\ nat-codec encode)))
   (def: decode
-    (|>> (:: nat-codec decode) (:: try.functor map .int))))
+    (|>> (\ nat-codec decode) (\ try.functor map .int))))
 
 (def: (nullable writer)
   {#.doc "Builds a JSON generator for potentially inexistent values."}
@@ -90,9 +90,9 @@
     (codec.Codec JSON (unit.Qty unit)))
   
   (def: encode
-    (|>> unit.out (:: ..int-codec encode)))
+    (|>> unit.out (\ ..int-codec encode)))
   (def: decode
-    (|>> (:: ..int-codec decode) (:: try.functor map unit.in))))
+    (|>> (\ ..int-codec decode) (\ try.functor map unit.in))))
 
 (poly: encode
   (with-expansions
@@ -105,15 +105,15 @@
 
                [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)]
                [(<type>.sub Bit)     (|>> #/.Boolean)]
-               [(<type>.sub Nat)     (:: (~! ..nat-codec) (~' encode))]
-               [(<type>.sub Int)     (:: (~! ..int-codec) (~' encode))]
+               [(<type>.sub Nat)     (\ (~! ..nat-codec) (~' encode))]
+               [(<type>.sub Int)     (\ (~! ..int-codec) (~' encode))]
                [(<type>.sub Frac)    (|>> #/.Number)]
                [(<type>.sub Text)    (|>> #/.String)])
      <time> (template [<type> <codec>]
               [(do !
                  [_ (<type>.exactly <type>)]
                  (wrap (` (: (~ (@JSON\encode inputT))
-                             (|>> (:: (~! <codec>) (~' encode)) #/.String)))))]
+                             (|>> (\ (~! <codec>) (~' encode)) #/.String)))))]
 
               ## [duration.Duration duration.codec]
               ## [instant.Instant instant.codec]
@@ -133,7 +133,7 @@
             [unitT (<type>.apply (<>.after (<type>.exactly unit.Qty)
                                            <type>.any))]
             (wrap (` (: (~ (@JSON\encode inputT))
-                        (:: (~! qty-codec) (~' encode))))))
+                        (\ (~! qty-codec) (~' encode))))))
           (do !
             [#let [g!_ (code.local-identifier "_______")
                    g!key (code.local-identifier "_______key")
-- 
cgit v1.2.3