diff options
author | Eduardo Julian | 2022-04-06 16:07:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-06 16:07:22 -0400 |
commit | a0ed5fd377daf5754697636504de8e180abf9ec0 (patch) | |
tree | 8cc47f78ac6557c4ba233e6debd7b836adfb65b1 /stdlib/source/test/lux/data/binary.lux | |
parent | 0494295b95c5c44ef389f1259e408f9445cfe0a1 (diff) |
More efficient binary parsing.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/binary.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 656dbf9bf..badf40980 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -75,9 +75,9 @@ (def: as_list (-> /.Binary (List Nat)) - (/.aggregate (function (_ head tail) - {.#Item head tail}) - (list))) + (/.mix (function (_ head tail) + {.#Item head tail}) + (list))) (def: test|unsafe Test @@ -160,9 +160,9 @@ ($equivalence.spec /.equivalence (..random size))) (_.for [/.monoid] ($monoid.spec /.equivalence /.monoid (..random size))) - (_.cover [/.aggregate] + (_.cover [/.mix] (n.= (# list.mix mix n.+ 0 (..as_list sample)) - (/.aggregate n.+ 0 sample))) + (/.mix n.+ 0 sample))) (_.cover [/.empty] (# /.equivalence = @@ -212,7 +212,7 @@ {.#Item head tail} (n.= (list.mix n.+ 0 tail) - (/.aggregate n.+ 0 (/.after 1 sample)))))) + (/.mix n.+ 0 (/.after 1 sample)))))) (_.cover [/.copy!] (and (case (/.copy! size 0 sample 0 (/.empty size)) {try.#Success output} |