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/stamp.lux | |
| parent | 86bcfadb774618defaa27bbb9361a93d288fb985 (diff) | |
Improved the XML parsing library.
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot/stamp.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot/stamp.lux | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index f321e11c1..2d127af21 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -44,10 +44,9 @@ (def: time_parser (Parser Time) - (do <>.monad - [_ (<xml>.node <timestamp>)] - (<text>.embed //time.parser - (<xml>.children <xml>.text)))) + (<| (<xml>.node <timestamp>) + (<text>.embed //time.parser) + <xml>.text)) (def: #export parser (Parser Stamp) |