diff options
| author | Eduardo Julian | 2021-07-13 02:41:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-13 02:41:45 -0400 |
| commit | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (patch) | |
| tree | f5c79fb04af80b8418e9de0a5e668f29403dd7fd /stdlib/source/program/aedifex/artifact/snapshot.lux | |
| parent | 86bcfadb774618defaa27bbb9361a93d288fb985 (diff) | |
Improved the XML parsing library.
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot.lux | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 836365fed..89897316d 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -49,10 +49,9 @@ (def: local_copy_parser (Parser Any) - (do <>.monad - [_ (<xml>.node ..<local_copy>)] - (<xml>.children (<text>.embed (<text>.this ..local_copy_value) - <xml>.text)))) + (<| (<xml>.node ..<local_copy>) + (<text>.embed (<text>.this ..local_copy_value)) + <xml>.text)) (def: #export (format snapshot) (-> Snapshot XML) @@ -66,7 +65,6 @@ (def: #export parser (Parser Snapshot) - (do <>.monad - [_ (<xml>.node <snapshot>)] - (<xml>.children (<>.or ..local_copy_parser - /stamp.parser)))) + (<| (<xml>.node <snapshot>) + (<>.or ..local_copy_parser + /stamp.parser))) |