diff options
Diffstat (limited to 'stdlib/source/test/lux/data/format/tar.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/format/tar.lux | 84 |
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))) |