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.lux84
1 files changed, 42 insertions, 42 deletions
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index b2af39ece..9bb1e6ea0 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -1,40 +1,40 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" maybe]
- ["[0]" try]
- ["[0]" exception]
- ["<>" parser
- ["<b>" binary]]]
- [data
- ["[0]" product]
- ["[0]" binary ("[1]#[0]" equivalence monoid)]
- ["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]
- ["[0]" unicode "_"
- ["[1]" set]
- ["[1]/[0]" block]]]
- [collection
- ["[0]" sequence]
- ["[0]" list ("[1]#[0]" mix)]]
- ["[0]" format "_"
- ["[1]" binary]]]
- [time
- ["[0]" instant {"+" Instant}]
- ["[0]" duration]]
- [math
- ["[0]" random {"+" Random}]
- [number
- ["n" nat]
- ["i" int]]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" maybe]
+ ["[0]" try]
+ ["[0]" exception]
+ ["<>" parser
+ ["<b>" binary]]]
+ [data
+ ["[0]" product]
+ ["[0]" binary ("[1]#[0]" equivalence monoid)]
+ ["[0]" text ("[1]#[0]" equivalence)
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]
+ ["[0]" unicode "_"
+ ["[1]" set]
+ ["[1]/[0]" block]]]
+ [collection
+ ["[0]" sequence]
+ ["[0]" list ("[1]#[0]" mix)]]
+ ["[0]" format "_"
+ ["[1]" binary]]]
+ [time
+ ["[0]" instant {"+" Instant}]
+ ["[0]" duration]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
+ ["[0]" /]])
(def: path
Test
@@ -354,9 +354,9 @@
(in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ _ actual_ownership _]}))
(and (text#= (/.from_name expected)
- (/.from_name (value@ [/.#user /.#name] actual_ownership)))
+ (/.from_name (the [/.#user /.#name] actual_ownership)))
(text#= (/.from_name /.anonymous)
- (/.from_name (value@ [/.#group /.#name] actual_ownership))))
+ (/.from_name (the [/.#group /.#name] actual_ownership))))
_
false)))
@@ -378,13 +378,13 @@
(in (case (sequence.list tar)
(^ (list {/.#Normal [_ _ _ actual_ownership _]}))
(and (text#= (/.from_name /.anonymous)
- (/.from_name (value@ [/.#user /.#name] actual_ownership)))
+ (/.from_name (the [/.#user /.#name] actual_ownership)))
(n.= (/.from_small /.no_id)
- (/.from_small (value@ [/.#user /.#id] actual_ownership)))
+ (/.from_small (the [/.#user /.#id] actual_ownership)))
(text#= (/.from_name /.anonymous)
- (/.from_name (value@ [/.#group /.#name] actual_ownership)))
+ (/.from_name (the [/.#group /.#name] actual_ownership)))
(n.= (/.from_small /.no_id)
- (/.from_small (value@ [/.#group /.#id] actual_ownership))))
+ (/.from_small (the [/.#group /.#id] actual_ownership))))
_
false)))