diff options
Diffstat (limited to 'stdlib/source/test/lux/control/parser/binary.lux')
-rw-r--r-- | stdlib/source/test/lux/control/parser/binary.lux | 105 |
1 files changed, 52 insertions, 53 deletions
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 2905430dc..e8caa2dc9 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -14,15 +14,14 @@ ["[0]" exception] ["<>" parser]] [data - ["[0]" binary] ["[0]" sum] ["[0]" bit] + ["[0]" binary (.only) + ["[0]" \\format]] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] - ["[0]" format - ["[1]" binary]] [collection ["[0]" list] ["[0]" sequence] @@ -132,16 +131,16 @@ [expected (at ! each (i64.and (i64.mask <size>)) random.nat)] (_.coverage [<size> <parser> <format>] - (|> (format.result <format> expected) + (|> (\\format.result <format> expected) (/.result <parser>) (!expect (^.multi {try.#Success actual} (n.= (.nat expected) (.nat actual)))))))] - [/.size_8 /.bits_8 format.bits_8] - [/.size_16 /.bits_16 format.bits_16] - [/.size_32 /.bits_32 format.bits_32] - [/.size_64 /.bits_64 format.bits_64] + [/.size_8 /.bits_8 \\format.bits_8] + [/.size_16 /.bits_16 \\format.bits_16] + [/.size_32 /.bits_32 \\format.bits_32] + [/.size_64 /.bits_64 \\format.bits_64] )))))) (def: binary @@ -151,15 +150,15 @@ [(do [! random.monad] [expected (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] (_.coverage [<parser> <format>] - (|> (format.result <format> expected) + (|> (\\format.result <format> expected) (/.result <parser>) (!expect (^.multi {try.#Success actual} (at binary.equivalence = expected actual))))))] - [/.binary_8 format.binary_8] - [/.binary_16 format.binary_16] - [/.binary_32 format.binary_32] - [/.binary_64 format.binary_64] + [/.binary_8 \\format.binary_8] + [/.binary_16 \\format.binary_16] + [/.binary_32 \\format.binary_32] + [/.binary_64 \\format.binary_64] ))))) (def: utf8 @@ -169,16 +168,16 @@ [(do [! random.monad] [expected (random.ascii ..segment_size)] (_.coverage [<parser> <format>] - (|> (format.result <format> expected) + (|> (\\format.result <format> expected) (/.result <parser>) (!expect (^.multi {try.#Success actual} (at text.equivalence = expected actual))))))] - [/.utf8_8 format.utf8_8] - [/.utf8_16 format.utf8_16] - [/.utf8_32 format.utf8_32] - [/.utf8_64 format.utf8_64] - [/.text format.text] + [/.utf8_8 \\format.utf8_8] + [/.utf8_16 \\format.utf8_16] + [/.utf8_32 \\format.utf8_32] + [/.utf8_64 \\format.utf8_64] + [/.text \\format.text] ))))) (def: sequence @@ -189,15 +188,15 @@ [expected (random.sequence ..segment_size random.nat)] (_.coverage [<parser> <format>] (|> expected - (format.result (<format> format.nat)) + (\\format.result (<format> \\format.nat)) (/.result (<parser> /.nat)) (!expect (^.multi {try.#Success actual} (at (sequence.equivalence n.equivalence) = expected actual))))))] - [/.sequence_8 format.sequence_8] - [/.sequence_16 format.sequence_16] - [/.sequence_32 format.sequence_32] - [/.sequence_64 format.sequence_64] + [/.sequence_8 \\format.sequence_8] + [/.sequence_16 \\format.sequence_16] + [/.sequence_32 \\format.sequence_32] + [/.sequence_64 \\format.sequence_64] ))))) (def: simple @@ -208,20 +207,20 @@ [expected <random>] (_.coverage [<parser> <format>] (|> expected - (format.result <format>) + (\\format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} (at <equivalence> = expected actual))))))] - [/.bit format.bit random.bit bit.equivalence] - [/.nat format.nat random.nat n.equivalence] - [/.int format.int random.int int.equivalence] - [/.rev format.rev random.rev rev.equivalence])) + [/.bit \\format.bit random.bit bit.equivalence] + [/.nat \\format.nat random.nat n.equivalence] + [/.int \\format.int random.int int.equivalence] + [/.rev \\format.rev random.rev rev.equivalence])) (do [! random.monad] [expected random.frac] - (_.coverage [/.frac format.frac] + (_.coverage [/.frac \\format.frac] (|> expected - (format.result format.frac) + (\\format.result \\format.frac) (/.result /.frac) (!expect (^.multi {try.#Success actual} (or (at frac.equivalence = expected actual) @@ -233,7 +232,7 @@ random.nat)] (_.coverage [/.not_a_bit] (|> expected - (format.result format.bits_8) + (\\format.result \\format.bits_8) (/.result /.bit) (!expect (^.multi {try.#Failure error} (exception.match? /.not_a_bit error)))))) @@ -247,42 +246,42 @@ [expected <random>] (_.coverage [<parser> <format>] (|> expected - (format.result <format>) + (\\format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} (at <equivalence> = expected actual))))))] - [/.location format.location random_location location_equivalence] - [/.code format.code random_code code.equivalence] - [/.type format.type random_type type.equivalence] + [/.location \\format.location random_location location_equivalence] + [/.code \\format.code random_code code.equivalence] + [/.type \\format.type random_type type.equivalence] )) (~~ (with_template [<parser_coverage> <parser> <coverage_format> <format> <random> <equivalence>] [(do [! random.monad] [expected <random>] (_.coverage [<parser_coverage> <coverage_format>] (|> expected - (format.result <format>) + (\\format.result <format>) (/.result <parser>) (!expect (^.multi {try.#Success actual} (at <equivalence> = expected actual))))))] - [/.maybe (/.maybe /.nat) format.maybe (format.maybe format.nat) (random.maybe random.nat) (maybe.equivalence n.equivalence)] - [/.list (/.list /.nat) format.list (format.list format.nat) (random.list ..segment_size random.nat) (list.equivalence n.equivalence)] - [/.set (/.set n.hash /.nat) format.set (format.set format.nat) (random.set n.hash ..segment_size random.nat) set.equivalence] - [/.symbol /.symbol format.symbol format.symbol ..random_symbol symbol.equivalence])) + [/.maybe (/.maybe /.nat) \\format.maybe (\\format.maybe \\format.nat) (random.maybe random.nat) (maybe.equivalence n.equivalence)] + [/.list (/.list /.nat) \\format.list (\\format.list \\format.nat) (random.list ..segment_size random.nat) (list.equivalence n.equivalence)] + [/.set (/.set n.hash /.nat) \\format.set (\\format.set \\format.nat) (random.set n.hash ..segment_size random.nat) set.equivalence] + [/.symbol /.symbol \\format.symbol \\format.symbol ..random_symbol symbol.equivalence])) (do [! random.monad] [expected (at ! each (list.repeated ..segment_size) random.nat)] (_.coverage [/.set_elements_are_not_unique] (|> expected - (format.result (format.list format.nat)) + (\\format.result (\\format.list \\format.nat)) (/.result (/.set n.hash /.nat)) (!expect (^.multi {try.#Failure error} (exception.match? /.set_elements_are_not_unique error)))))) (do [! random.monad] [expected (random.or random.bit random.nat)] - (_.coverage [/.or format.or] + (_.coverage [/.or \\format.or] (|> expected - (format.result (format.or format.bit format.nat)) + (\\format.result (\\format.or \\format.bit \\format.nat)) (/.result (is (/.Parser (Either Bit Nat)) (/.or /.bit /.nat))) (!expect (^.multi {try.#Success actual} @@ -296,17 +295,17 @@ value random.bit] (_.coverage [/.invalid_tag] (|> [tag value] - (format.result (format.and format.bits_8 format.bit)) + (\\format.result (\\format.and \\format.bits_8 \\format.bit)) (/.result (is (/.Parser (Either Bit Nat)) (/.or /.bit /.nat))) (!expect (^.multi {try.#Failure error} (exception.match? /.invalid_tag error)))))) (do [! random.monad] [expected (random.list ..segment_size random.nat)] - (_.coverage [/.rec format.rec format.and format.any] + (_.coverage [/.rec \\format.rec \\format.and \\format.any] (|> expected - (format.result (format.rec (|>> (format.and format.nat) - (format.or format.any)))) + (\\format.result (\\format.rec (|>> (\\format.and \\format.nat) + (\\format.or \\format.any)))) (/.result (is (/.Parser (List Nat)) (/.rec (function (_ again) @@ -325,8 +324,8 @@ (_.for [/.Parser]) (`` (all _.and (_.coverage [/.result /.any - format.no_op format.instance] - (|> (format.instance format.no_op) + \\format.no_op \\format.instance] + (|> (\\format.instance \\format.no_op) (/.result /.any) (!expect {try.#Success _}))) (do [! random.monad] @@ -338,9 +337,9 @@ (exception.match? /.binary_was_not_fully_read error)))))) (do [! random.monad] [expected (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))] - (_.coverage [/.segment format.segment format.result] + (_.coverage [/.segment \\format.segment \\format.result] (|> expected - (format.result (format.segment ..segment_size)) + (\\format.result (\\format.segment ..segment_size)) (/.result (/.segment ..segment_size)) (!expect (^.multi {try.#Success actual} (at binary.equivalence = expected actual)))))) |