diff options
Diffstat (limited to 'stdlib/source/library/lux/data/format/tar.lux')
-rw-r--r-- | stdlib/source/library/lux/data/format/tar.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index e0ed3924f..38746e8eb 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -126,12 +126,12 @@ (Parser Any) (do <>.monad [pre_end <binary>.bits_8 - _ (let [expected (`` (char (~~ (static ..blank))))] + _ (let [expected (`` (char (,, (static ..blank))))] (<>.assertion (exception.error ..wrong_character [expected pre_end]) (n.= expected pre_end))) end <binary>.bits_8 - _ (let [expected (`` (char (~~ (static ..null))))] + _ (let [expected (`` (char (,, (static ..null))))] (<>.assertion (exception.error ..wrong_character [expected end]) (n.= expected end)))] (in []))) @@ -153,7 +153,7 @@ [digits (<binary>.segment ..big_size) digits (<>.lifted (at utf8.codec decoded digits)) end <binary>.bits_8 - _ (let [expected (`` (char (~~ (static ..blank))))] + _ (let [expected (`` (char (,, (static ..blank))))] (<>.assertion (exception.error ..wrong_character [expected end]) (n.= expected end)))] (<>.lifted @@ -243,7 +243,7 @@ 0 (at utf8.codec encoded "") _ (let [last_char (binary!.bits_8 end string)] (`` (case (.nat last_char) - (pattern (char (~~ (static ..null)))) + (pattern (char (,, (static ..null)))) (again (-- end)) _ @@ -288,7 +288,7 @@ (do <>.monad [string (<binary>.segment <size>) end <binary>.bits_8 - .let [expected (`` (char (~~ (static ..null))))] + .let [expected (`` (char (,, (static ..null))))] _ (<>.assertion (exception.error ..wrong_character [expected end]) (n.= expected end))] (<>.lifted @@ -330,7 +330,7 @@ (do <>.monad [string (<binary>.segment ..magic_size) end <binary>.bits_8 - .let [expected (`` (char (~~ (static ..null))))] + .let [expected (`` (char (,, (static ..null))))] _ (<>.assertion (exception.error ..wrong_character [expected end]) (n.= expected end))] (<>.lifted |