diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/format/tar.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index 0d79977b1..567d1a10a 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -69,8 +69,8 @@ (exception: .public (<exception> [value Nat]) (exception.report - ["Value" (%.nat value)] - ["Maximum" (%.nat (-- <limit>))])) + "Value" (%.nat value) + "Maximum" (%.nat (-- <limit>)))) (abstract: .public <type> Nat @@ -115,8 +115,8 @@ (exception: .public (wrong_character [expected Char actual Char]) (exception.report - ["Expected" (%.nat expected)] - ["Actual" (%.nat actual)])) + "Expected" (%.nat expected) + "Actual" (%.nat actual))) (def: small_suffix (Parser Any) @@ -224,7 +224,7 @@ (exception: .public (not_ascii [text Text]) (exception.report - ["Text" (%.text text)])) + "Text" (%.text text))) (def: .public name_size Size 31) (def: .public path_size Size 99) @@ -251,9 +251,9 @@ (exception: .public (<exception> [value Text]) (exception.report - ["Value" (%.text value)] - ["Size" (%.nat (text.size value))] - ["Maximum" (%.nat <size>)])) + "Value" (%.text value) + "Size" (%.nat (text.size value)) + "Maximum" (%.nat <size>))) (def: .public (<in> value) (-> <representation> (Try <type>)) @@ -422,7 +422,7 @@ (exception: .public (invalid_link_flag [value Nat]) (exception.report - ["Value" (%.nat value)])) + "Value" (%.nat value))) (def: link_flag_parser (Parser Link_Flag) @@ -461,7 +461,7 @@ (exception: .public (invalid_mode [value Nat]) (exception.report - ["Value" (%.nat value)])) + "Value" (%.nat value))) (with_expansions [<options> (as_is ["0000" none] @@ -746,8 +746,8 @@ (exception: .public (wrong_checksum [expected Nat actual Nat]) (exception.report - ["Expected" (%.nat expected)] - ["Actual" (%.nat actual)])) + "Expected" (%.nat expected) + "Actual" (%.nat actual))) (def: header_padding_size (n.- header_size block_size)) |