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

diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 45e1e6a6a..9fdc00f3b 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -79,10 +79,10 @@
 (def: license
   (Parser /.License)
   (do {! <>.monad}
-    [input (:: ! map
-               (dictionary.from-list text.hash)
-               (<c>.record (<>.some (<>.and <c>.local-tag
-                                            <c>.any))))]
+    [input (\ ! map
+              (dictionary.from-list text.hash)
+              (<c>.record (<>.some (<>.and <c>.local-tag
+                                           <c>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
@@ -94,10 +94,10 @@
 (def: organization
   (Parser /.Organization)
   (do {! <>.monad}
-    [input (:: ! map
-               (dictionary.from-list text.hash)
-               (<c>.record (<>.some (<>.and <c>.local-tag
-                                            <c>.any))))]
+    [input (\ ! map
+              (dictionary.from-list text.hash)
+              (<c>.record (<>.some (<>.and <c>.local-tag
+                                           <c>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url))))
@@ -105,10 +105,10 @@
 (def: developer
   (Parser /.Developer)
   (do {! <>.monad}
-    [input (:: ! map
-               (dictionary.from-list text.hash)
-               (<c>.record (<>.some (<>.and <c>.local-tag
-                                            <c>.any))))]
+    [input (\ ! map
+              (dictionary.from-list text.hash)
+              (<c>.record (<>.some (<>.and <c>.local-tag
+                                           <c>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
@@ -122,10 +122,10 @@
 (def: info
   (Parser /.Info)
   (do {! <>.monad}
-    [input (:: ! map
-               (dictionary.from-list text.hash)
-               (<c>.record (<>.some (<>.and <c>.local-tag
-                                            <c>.any))))]
+    [input (\ ! map
+              (dictionary.from-list text.hash)
+              (<c>.record (<>.some (<>.and <c>.local-tag
+                                           <c>.any))))]
     ($_ <>.and
         (<>.maybe (..singular input "url" ..url))
         (<>.maybe (..singular input "scm" ..scm))
@@ -173,10 +173,10 @@
 (def: profile
   (Parser /.Profile)
   (do {! <>.monad}
-    [input (:: ! map
-               (dictionary.from-list text.hash)
-               (<c>.record (<>.some (<>.and <c>.local-tag
-                                            <c>.any))))
+    [input (\ ! map
+              (dictionary.from-list text.hash)
+              (<c>.record (<>.some (<>.and <c>.local-tag
+                                           <c>.any))))
      #let [^parents (: (Parser (List /.Name))
                        (<>.default (list)
                                    (..plural input "parents" <c>.text)))
@@ -188,15 +188,15 @@
                      (..singular input "info" ..info)))
            ^repositories (: (Parser (Set //repository.Address))
                             (|> (..plural input "repositories" ..repository)
-                                (:: ! map (set.from-list text.hash))
+                                (\ ! map (set.from-list text.hash))
                                 (<>.default (set.new text.hash))))
            ^dependencies (: (Parser (Set //dependency.Dependency))
                             (|> (..plural input "dependencies" ..dependency)
-                                (:: ! map (set.from-list //dependency.hash))
+                                (\ ! map (set.from-list //dependency.hash))
                                 (<>.default (set.new //dependency.hash))))
            ^sources (: (Parser (Set /.Source))
                        (|> (..plural input "sources" ..source)
-                           (:: ! map (set.from-list text.hash))
+                           (\ ! map (set.from-list text.hash))
                            (<>.default (set.from-list text.hash (list /.default-source)))))
            ^target (: (Parser (Maybe /.Target))
                       (<>.maybe
@@ -208,7 +208,7 @@
                     (<>.maybe
                      (..singular input "test" ..module)))
            ^deploy-repositories (: (Parser (Dictionary Text //repository.Address))
-                                   (<| (:: ! map (dictionary.from-list text.hash))
+                                   (<| (\ ! map (dictionary.from-list text.hash))
                                        (<>.default (list))
                                        (..singular input "deploy-repositories" ..deploy-repository)))]]
     ($_ <>.and
@@ -227,13 +227,13 @@
 (def: #export project
   (Parser Project)
   (let [default-profile (: (Parser Project)
-                           (:: <>.monad map
-                               (|>> [/.default] (list) (dictionary.from-list text.hash))
-                               ..profile))
+                           (\ <>.monad map
+                              (|>> [/.default] (list) (dictionary.from-list text.hash))
+                              ..profile))
         multi-profile (: (Parser Project)
-                         (:: <>.monad map
-                             (dictionary.from-list text.hash)
-                             (<c>.record (<>.many (<>.and <c>.text
-                                                          ..profile)))))]
+                         (\ <>.monad map
+                            (dictionary.from-list text.hash)
+                            (<c>.record (<>.many (<>.and <c>.text
+                                                         ..profile)))))]
     (<>.either multi-profile
                default-profile)))