diff options
Diffstat (limited to 'stdlib/test/test/lux/world/blob.lux')
-rw-r--r-- | stdlib/test/test/lux/world/blob.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/test/test/lux/world/blob.lux b/stdlib/test/test/lux/world/blob.lux index 37deb9d3b..1093f302f 100644 --- a/stdlib/test/test/lux/world/blob.lux +++ b/stdlib/test/test/lux/world/blob.lux @@ -29,14 +29,14 @@ (do r.Monad<Random> [byte r.nat] (exec (e.assume (/.write-8 idx byte output)) - (recur (n/inc idx)))) + (recur (inc idx)))) (:: r.Monad<Random> wrap output))))) (def: (bits-io bytes read write value) (-> Nat (-> Nat /.Blob (e.Error Nat)) (-> Nat Nat /.Blob (e.Error Top)) Nat Bool) (let [blob (/.create +8) bits (n/* +8 bytes) - capped-value (|> +1 (bit.left-shift bits) n/dec (bit.and value))] + capped-value (|> +1 (bit.left-shift bits) dec (bit.and value))] (succeed (do e.Monad<Error> [_ (write +0 value blob) @@ -67,9 +67,9 @@ (test "Can read/write 64-bit values." (bits-io +8 /.read-64 /.write-64 value)) (test "Can slice blobs." - (let [slice-size (|> to (n/- from) n/inc) + (let [slice-size (|> to (n/- from) inc) random-slice (e.assume (/.slice from to random-blob)) - idxs (list.n/range +0 (n/dec slice-size)) + idxs (list.n/range +0 (dec slice-size)) reader (function (_ blob idx) (/.read-8 idx blob))] (and (n/= slice-size (/.size random-slice)) (case [(monad.map e.Monad<Error> (reader random-slice) idxs) |