diff options
Diffstat (limited to '')
-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))) |