aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/format/tar.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data/format/tar.lux')
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 1101f9ca1..a858db473 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -47,7 +47,7 @@
/.path_size)]
(`` (all _.and
(_.coverage [/.path /.from_path]
- (case (/.path expected)
+ (when (/.path expected)
{try.#Success actual}
(text#= expected
(/.from_path actual))
@@ -57,14 +57,14 @@
(_.coverage [/.no_path]
(text#= "" (/.from_path /.no_path)))
(_.coverage [/.path_size /.path_is_too_long]
- (case (/.path invalid)
+ (when (/.path invalid)
{try.#Success _}
false
{try.#Failure error}
(exception.match? /.path_is_too_long error)))
(_.coverage [/.not_ascii]
- (case (/.path not_ascii)
+ (when (/.path not_ascii)
{try.#Success actual}
false
@@ -82,7 +82,7 @@
/.name_size)]
(`` (all _.and
(_.coverage [/.name /.from_name]
- (case (/.name expected)
+ (when (/.name expected)
{try.#Success actual}
(text#= expected
(/.from_name actual))
@@ -90,14 +90,14 @@
{try.#Failure error}
false))
(_.coverage [/.name_size /.name_is_too_long]
- (case (/.name invalid)
+ (when (/.name invalid)
{try.#Success _}
false
{try.#Failure error}
(exception.match? /.name_is_too_long error)))
(_.coverage [/.not_ascii]
- (case (/.name not_ascii)
+ (when (/.name not_ascii)
{try.#Success actual}
false
@@ -113,7 +113,7 @@
invalid (|> random.nat (at ! each (n.max /.small_limit)))]
(`` (all _.and
(_.coverage [/.small /.from_small]
- (case (/.small expected)
+ (when (/.small expected)
{try.#Success actual}
(n.= expected
(/.from_small actual))
@@ -121,7 +121,7 @@
{try.#Failure error}
false))
(_.coverage [/.small_limit /.not_a_small_number]
- (case (/.small invalid)
+ (when (/.small invalid)
{try.#Success actual}
false
@@ -137,7 +137,7 @@
invalid (|> random.nat (at ! each (n.max /.big_limit)))]
(`` (all _.and
(_.coverage [/.big /.from_big]
- (case (/.big expected)
+ (when (/.big expected)
{try.#Success actual}
(n.= expected
(/.from_big actual))
@@ -145,7 +145,7 @@
{try.#Failure error}
false))
(_.coverage [/.big_limit /.not_a_big_number]
- (case (/.big invalid)
+ (when (/.big invalid)
{try.#Success actual}
false
@@ -175,7 +175,7 @@
tar (|> (sequence.sequence {<tag> expected_path})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {<tag> actual_path})
(text#= (/.from_path expected_path)
(/.from_path actual_path))
@@ -204,7 +204,7 @@
expected_content]})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]})
(let [seconds (is (-> Instant Int)
(|>> instant.relative (duration.ticks duration.second)))]
@@ -262,7 +262,7 @@
content]})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {/.#Normal [_ _ actual_mode _ _]})
(n.= (/.mode expected_mode)
(/.mode actual_mode))
@@ -285,7 +285,7 @@
content]})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {/.#Normal [_ _ actual_mode _ _]})
(n.= (/.mode <expected_mode>)
(/.mode actual_mode))
@@ -324,14 +324,14 @@
(_.for [/.Ownership /.Owner /.ID]
(all _.and
(_.coverage [/.name_size /.name_is_too_long]
- (case (/.name invalid)
+ (when (/.name invalid)
{try.#Success _}
false
{try.#Failure error}
(exception.match? /.name_is_too_long error)))
(_.coverage [/.not_ascii]
- (case (/.name not_ascii)
+ (when (/.name not_ascii)
{try.#Success actual}
false
@@ -352,7 +352,7 @@
content]})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {/.#Normal [_ _ _ actual_ownership _]})
(and (text#= (/.from_name expected)
(/.from_name (the [/.#user /.#name] actual_ownership)))
@@ -376,7 +376,7 @@
content]})
(\\format.result /.format)
(<b>.result /.parser))]
- (in (case (sequence.list tar)
+ (in (when (sequence.list tar)
(list {/.#Normal [_ _ _ actual_ownership _]})
(and (text#= (/.from_name /.anonymous)
(/.from_name (the [/.#user /.#name] actual_ownership)))
@@ -407,7 +407,7 @@
(try.else false)))
(_.coverage [/.invalid_end_of_archive]
(let [dump (\\format.result /.format sequence.empty)]
- (case (<b>.result /.parser (binary#composite dump dump))
+ (when (<b>.result /.parser (binary#composite dump dump))
{try.#Success _}
false