diff options
| author | Eduardo Julian | 2021-01-28 20:14:11 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-01-28 20:14:11 -0400 |
| commit | 1797521191746640e761cc1b4973d46b8c403dee (patch) | |
| tree | 197b60bf206f75c32a930b85910101c6d4c0d0f9 /stdlib/source/test/lux/data/format/tar.lux | |
| parent | 43d28326ad59c74439b96343cc8f619ed7d90231 (diff) | |
Implemented arithmetic right-shift in terms of logic right-shift.
Diffstat (limited to 'stdlib/source/test/lux/data/format/tar.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/format/tar.lux | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 1300012dd..10000ff52 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -11,7 +11,7 @@ [data ["." product] ["." maybe] - ["." binary ("#\." equivalence)] + ["." binary ("#\." equivalence monoid)] ["." text ("#\." equivalence) ["%" format (#+ format)] ["." encoding] @@ -51,6 +51,8 @@ (#try.Failure error) false)) + (_.cover [/.no_path] + (text\= "" (/.from_path /.no_path))) (_.cover [/.path_size /.path_is_too_long] (case (/.path invalid) (#try.Success _) @@ -398,6 +400,15 @@ (<b>.run /.parser) (\ try.monad map row.empty?) (try.default false))) + (_.cover [/.invalid_end_of_archive] + (let [dump (format.run /.writer row.empty)] + (case (<b>.run /.parser (binary\compose dump dump)) + (#try.Success _) + false + + (#try.Failure error) + (exception.match? /.invalid_end_of_archive error)))) + ..path ..name ..small |