From 891b1cfc82322f8017f0a4f6b707d6fe52024545 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 3 Sep 2021 21:51:30 -0400
Subject: Unified tuple and record syntax.

---
 stdlib/source/program/aedifex/parser.lux | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 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 21c8ac270..41ada3cc7 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -84,8 +84,8 @@
   (do {! <>.monad}
     [input (\ ! each
               (dictionary.of_list text.hash)
-              (<code>.record (<>.some (<>.and <code>.local_tag
-                                              <code>.any))))]
+              (<code>.tuple (<>.some (<>.and <code>.local_tag
+                                             <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
@@ -99,8 +99,8 @@
   (do {! <>.monad}
     [input (\ ! each
               (dictionary.of_list text.hash)
-              (<code>.record (<>.some (<>.and <code>.local_tag
-                                              <code>.any))))]
+              (<code>.tuple (<>.some (<>.and <code>.local_tag
+                                             <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url))))
@@ -110,8 +110,8 @@
   (do {! <>.monad}
     [input (\ ! each
               (dictionary.of_list text.hash)
-              (<code>.record (<>.some (<>.and <code>.local_tag
-                                              <code>.any))))]
+              (<code>.tuple (<>.some (<>.and <code>.local_tag
+                                             <code>.any))))]
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
@@ -127,8 +127,8 @@
   (do {! <>.monad}
     [input (\ ! each
               (dictionary.of_list text.hash)
-              (<code>.record (<>.some (<>.and <code>.local_tag
-                                              <code>.any))))]
+              (<code>.tuple (<>.some (<>.and <code>.local_tag
+                                             <code>.any))))]
     ($_ <>.and
         (<>.maybe (..singular input "url" ..url))
         (<>.maybe (..singular input "scm" ..scm))
@@ -169,9 +169,9 @@
 
 (def: deploy_repository
   (Parser (List [Text //repository.Address]))
-  (<code>.record (<>.some
-                  (<>.and <code>.text
-                          ..repository))))
+  (<code>.tuple (<>.some
+                 (<>.and <code>.text
+                         ..repository))))
 
 (def: runtime
   (Parser Runtime)
@@ -183,8 +183,8 @@
   (do {! <>.monad}
     [input (\ ! each
               (dictionary.of_list text.hash)
-              (<code>.record (<>.some (<>.and <code>.local_tag
-                                              <code>.any))))
+              (<code>.tuple (<>.some (<>.and <code>.local_tag
+                                             <code>.any))))
      .let [^parents (: (Parser (List /.Name))
                        (<>.else (list)
                                 (..plural input "parents" <code>.text)))
@@ -267,7 +267,7 @@
         multi_profile (: (Parser Project)
                          (\ <>.monad each
                             (dictionary.of_list text.hash)
-                            (<code>.record (<>.many (<>.and <code>.text
-                                                            ..profile)))))]
+                            (<code>.tuple (<>.many (<>.and <code>.text
+                                                           ..profile)))))]
     (<>.either multi_profile
                default_profile)))
-- 
cgit v1.2.3