diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
| -rw-r--r-- | stdlib/source/test/lux/data/binary.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/format/tar.lux | 18 |
2 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 4ae5fc849..1389e4620 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -86,7 +86,7 @@ (Equivalence Location) (implementation (def (= [expected_module expected_line expected_column] - [sample_module sample_line sample_column]) + [sample_module sample_line sample_column]) (and (text#= expected_module sample_module) (n.= expected_line sample_line) (n.= expected_column sample_column))))) @@ -413,7 +413,7 @@ (def \\format Test (<| (_.covering \\format._) - (_.for [\\format.Mutation \\format.Specification \\format.Writer]) + (_.for [\\format.Mutation \\format.Specification \\format.Format]) (all _.and (_.for [\\format.monoid] ($monoid.spec ..equivalence \\format.monoid ..random_specification)) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 5cf8a6d35..349149b22 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -171,7 +171,7 @@ (|> (do try.monad [expected_path (/.path expected_path) tar (|> (sequence.sequence {<tag> expected_path}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {<tag> actual_path})) @@ -200,7 +200,7 @@ /.#group [/.#name /.anonymous /.#id /.no_id]] expected_content]}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {<tag> [actual_path actual_moment actual_mode actual_ownership actual_content]})) @@ -258,7 +258,7 @@ /.#group [/.#name /.anonymous /.#id /.no_id]] content]}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {/.#Normal [_ _ actual_mode _ _]})) @@ -281,7 +281,7 @@ /.#group [/.#name /.anonymous /.#id /.no_id]] content]}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {/.#Normal [_ _ actual_mode _ _]})) @@ -348,7 +348,7 @@ /.#group [/.#name /.anonymous /.#id /.no_id]] content]}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {/.#Normal [_ _ _ actual_ownership _]})) @@ -372,7 +372,7 @@ /.#group [/.#name /.anonymous /.#id /.no_id]] content]}) - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser))] (in (case (sequence.list tar) (pattern (list {/.#Normal [_ _ _ actual_ownership _]})) @@ -397,14 +397,14 @@ (do random.monad [_ (in [])] (all _.and - (_.coverage [/.writer /.parser] + (_.coverage [/.format /.parser] (|> sequence.empty - (\\format.result /.writer) + (\\format.result /.format) (<b>.result /.parser) (at try.monad each sequence.empty?) (try.else false))) (_.coverage [/.invalid_end_of_archive] - (let [dump (\\format.result /.writer sequence.empty)] + (let [dump (\\format.result /.format sequence.empty)] (case (<b>.result /.parser (binary#composite dump dump)) {try.#Success _} false |