From 9f039e8a0a09e0278547d697efa018cd3fd68672 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 30 Jul 2021 01:12:05 -0400
Subject: More renamings.

---
 stdlib/source/program/aedifex/parser.lux | 44 ++++++++++++++++----------------
 1 file changed, 22 insertions(+), 22 deletions(-)

(limited to 'stdlib/source/program/aedifex/parser.lux')

diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index ca5fe3be3..49384a986 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -89,10 +89,10 @@
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
-        (<>.default #/.Repo
-                    (..singular input "type"
-                                (<>.or (<code>.this! (' #repo))
-                                       (<code>.this! (' #manual))))))))
+        (<>.else #/.Repo
+                 (..singular input "type"
+                             (<>.or (<code>.this! (' #repo))
+                                    (<code>.this! (' #manual))))))))
 
 (def: organization
   (Parser /.Organization)
@@ -133,10 +133,10 @@
         (<>.maybe (..singular input "url" ..url))
         (<>.maybe (..singular input "scm" ..scm))
         (<>.maybe (..singular input "description" ..description))
-        (<>.default (list) (..plural input "licenses" ..license))
+        (<>.else (list) (..plural input "licenses" ..license))
         (<>.maybe (..singular input "organization" ..organization))
-        (<>.default (list) (..plural input "developers" ..developer))
-        (<>.default (list) (..plural input "contributors" ..contributor))
+        (<>.else (list) (..plural input "developers" ..developer))
+        (<>.else (list) (..plural input "contributors" ..contributor))
         )))
 
 (def: repository
@@ -152,7 +152,7 @@
   (<code>.tuple
    ($_ <>.and
        ..artifact'
-       (<>.default //artifact/type.lux_library ..type)
+       (<>.else //artifact/type.lux_library ..type)
        )))
 
 (def: source
@@ -186,8 +186,8 @@
               (<code>.record (<>.some (<>.and <code>.local_tag
                                               <code>.any))))
      #let [^parents (: (Parser (List /.Name))
-                       (<>.default (list)
-                                   (..plural input "parents" <code>.text)))
+                       (<>.else (list)
+                                (..plural input "parents" <code>.text)))
            ^identity (: (Parser (Maybe Artifact))
                         (<>.maybe
                          (..singular input "identity" ..artifact)))
@@ -197,23 +197,23 @@
            ^repositories (: (Parser (Set //repository.Address))
                             (|> (..plural input "repositories" ..repository)
                                 (\ ! map (set.of_list text.hash))
-                                (<>.default (set.new text.hash))
+                                (<>.else (set.new text.hash))
                                 (\ ! map (set.add /.default_repository))))
            ^dependencies (: (Parser (Set //dependency.Dependency))
                             (|> (..plural input "dependencies" ..dependency)
                                 (\ ! map (set.of_list //dependency.hash))
-                                (<>.default (set.new //dependency.hash))))
+                                (<>.else (set.new //dependency.hash))))
            ^compiler (|> ..dependency
                          (..singular input "compiler")
-                         (<>.default /.default_compiler))
+                         (<>.else /.default_compiler))
            ^sources (: (Parser (Set /.Source))
                        (|> (..plural input "sources" ..source)
                            (\ ! map (set.of_list text.hash))
-                           (<>.default (set.of_list text.hash (list /.default_source)))))
+                           (<>.else (set.of_list text.hash (list /.default_source)))))
            ^target (: (Parser /.Target)
                       (|> ..target
                           (..singular input "target")
-                          (<>.default /.default_target)))
+                          (<>.else /.default_target)))
            ^program (: (Parser (Maybe Module))
                        (<>.maybe
                         (..singular input "program" ..module)))
@@ -222,23 +222,23 @@
                      (..singular input "test" ..module)))
            ^deploy_repositories (: (Parser (Dictionary Text //repository.Address))
                                    (<| (\ ! map (dictionary.of_list text.hash))
-                                       (<>.default (list))
+                                       (<>.else (list))
                                        (..singular input "deploy_repositories" ..deploy_repository)))
            ^java (|> ..runtime
                      (..singular input "java")
-                     (<>.default //runtime.default_java))
+                     (<>.else //runtime.default_java))
            ^js (|> ..runtime
                    (..singular input "js")
-                   (<>.default //runtime.default_js))
+                   (<>.else //runtime.default_js))
            ^python (|> ..runtime
                        (..singular input "python")
-                       (<>.default //runtime.default_python))
+                       (<>.else //runtime.default_python))
            ^lua (|> ..runtime
                     (..singular input "lua")
-                    (<>.default //runtime.default_lua))
+                    (<>.else //runtime.default_lua))
            ^ruby (|> ..runtime
                      (..singular input "ruby")
-                     (<>.default //runtime.default_ruby))]]
+                     (<>.else //runtime.default_ruby))]]
     ($_ <>.and
         ^parents
         ^identity
@@ -262,7 +262,7 @@
   (Parser Project)
   (let [default_profile (: (Parser Project)
                            (\ <>.monad map
-                              (|>> [/.default] (list) (dictionary.of_list text.hash))
+                              (|>> [/.else] (list) (dictionary.of_list text.hash))
                               ..profile))
         multi_profile (: (Parser Project)
                          (\ <>.monad map
-- 
cgit v1.2.3