diff options
| author | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
| commit | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (patch) | |
| tree | 957429c0a2ad850b3570492deabe054fb2ace63e /stdlib/source/program/aedifex/parser.lux | |
| parent | e76add6e6f904677f5c09bb2a66dce283f1b848a (diff) | |
Unified tuple and record syntax.
Diffstat (limited to 'stdlib/source/program/aedifex/parser.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/parser.lux | 30 |
1 files changed, 15 insertions, 15 deletions
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))) |