From f3e869d0246e956399ec31a074c6c6299ff73602 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 8 Jul 2021 23:59:00 -0400
Subject: Made sure the "phase" parameter of extensions is always usable (even
 across language boundaries)

---
 stdlib/source/program/aedifex/parser.lux | 68 ++++++++++++++++----------------
 1 file changed, 34 insertions(+), 34 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 60e491dac..835b03729 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -4,7 +4,7 @@
     [monad (#+ do)]]
    [control
     ["<>" parser
-     ["<c>" code (#+ Parser)]]]
+     ["<.>" code (#+ Parser)]]]
    [data
     ["." text]
     [collection
@@ -37,25 +37,25 @@
 
 (def: (singular input tag parser)
   (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser a)))
-  (<c>.local (..as_input (dictionary.get tag input))
-             parser))
+  (<code>.local (..as_input (dictionary.get tag input))
+                parser))
 
 (def: (plural input tag parser)
   (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser (List a))))
-  (<c>.local (..as_input (dictionary.get tag input))
-             (<c>.tuple (<>.some parser))))
+  (<code>.local (..as_input (dictionary.get tag input))
+                (<code>.tuple (<>.some parser))))
 
 (def: group
   (Parser //artifact.Group)
-  <c>.text)
+  <code>.text)
 
 (def: name
   (Parser //artifact.Name)
-  <c>.text)
+  <code>.text)
 
 (def: version
   (Parser //artifact.Version)
-  <c>.text)
+  <code>.text)
 
 (def: artifact'
   (Parser //artifact.Artifact)
@@ -63,11 +63,11 @@
 
 (def: artifact
   (Parser //artifact.Artifact)
-  (<c>.tuple ..artifact'))
+  (<code>.tuple ..artifact'))
 
 (def: url
   (Parser URL)
-  <c>.text)
+  <code>.text)
 
 (def: scm
   (Parser /.SCM)
@@ -75,30 +75,30 @@
 
 (def: description
   (Parser Text)
-  <c>.text)
+  <code>.text)
 
 (def: license
   (Parser /.License)
   (do {! <>.monad}
     [input (\ ! map
               (dictionary.from_list text.hash)
-              (<c>.record (<>.some (<>.and <c>.local_tag
-                                           <c>.any))))]
+              (<code>.record (<>.some (<>.and <code>.local_tag
+                                              <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
         (<>.default #/.Repo
                     (..singular input "type"
-                                (<>.or (<c>.this! (' #repo))
-                                       (<c>.this! (' #manual))))))))
+                                (<>.or (<code>.this! (' #repo))
+                                       (<code>.this! (' #manual))))))))
 
 (def: organization
   (Parser /.Organization)
   (do {! <>.monad}
     [input (\ ! map
               (dictionary.from_list text.hash)
-              (<c>.record (<>.some (<>.and <c>.local_tag
-                                           <c>.any))))]
+              (<code>.record (<>.some (<>.and <code>.local_tag
+                                              <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url))))
@@ -108,8 +108,8 @@
   (do {! <>.monad}
     [input (\ ! map
               (dictionary.from_list text.hash)
-              (<c>.record (<>.some (<>.and <c>.local_tag
-                                           <c>.any))))]
+              (<code>.record (<>.some (<>.and <code>.local_tag
+                                              <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
@@ -125,8 +125,8 @@
   (do {! <>.monad}
     [input (\ ! map
               (dictionary.from_list text.hash)
-              (<c>.record (<>.some (<>.and <c>.local_tag
-                                           <c>.any))))]
+              (<code>.record (<>.some (<>.and <code>.local_tag
+                                              <code>.any))))]
     ($_ <>.and
         (<>.maybe (..singular input "url" ..url))
         (<>.maybe (..singular input "scm" ..scm))
@@ -143,11 +143,11 @@
 
 (def: type
   (Parser //artifact/type.Type)
-  <c>.text)
+  <code>.text)
 
 (def: dependency
   (Parser //dependency.Dependency)
-  (<c>.tuple
+  (<code>.tuple
    ($_ <>.and
        ..artifact'
        (<>.default //artifact/type.lux_library ..type)
@@ -155,32 +155,32 @@
 
 (def: source
   (Parser /.Source)
-  <c>.text)
+  <code>.text)
 
 (def: target
   (Parser /.Target)
-  <c>.text)
+  <code>.text)
 
 (def: module
   (Parser Module)
-  <c>.text)
+  <code>.text)
 
 (def: deploy_repository
   (Parser (List [Text //repository.Address]))
-  (<c>.record (<>.some
-               (<>.and <c>.text
-                       ..repository))))
+  (<code>.record (<>.some
+                  (<>.and <code>.text
+                          ..repository))))
 
 (def: profile
   (Parser /.Profile)
   (do {! <>.monad}
     [input (\ ! map
               (dictionary.from_list text.hash)
-              (<c>.record (<>.some (<>.and <c>.local_tag
-                                           <c>.any))))
+              (<code>.record (<>.some (<>.and <code>.local_tag
+                                              <code>.any))))
      #let [^parents (: (Parser (List /.Name))
                        (<>.default (list)
-                                   (..plural input "parents" <c>.text)))
+                                   (..plural input "parents" <code>.text)))
            ^identity (: (Parser (Maybe Artifact))
                         (<>.maybe
                          (..singular input "identity" ..artifact)))
@@ -236,7 +236,7 @@
         multi_profile (: (Parser Project)
                          (\ <>.monad map
                             (dictionary.from_list text.hash)
-                            (<c>.record (<>.many (<>.and <c>.text
-                                                         ..profile)))))]
+                            (<code>.record (<>.many (<>.and <code>.text
+                                                            ..profile)))))]
     (<>.either multi_profile
                default_profile)))
-- 
cgit v1.2.3