Skip to content

Commit 6ccbb15

Browse files
committed
Guess we really did solve the bytestring implementation
1 parent a981b01 commit 6ccbb15

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

tests/Properties.hs

+7-1
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,8 @@ pBSRechunk t cs = fromStrict t == rechunkBS t cs
135135
-- are chunked.
136136
pBSLazyRechunked :: B.ByteString
137137
-> NonEmptyList ChunkSize -> NonEmptyList ChunkSize -> Bool
138-
pBSLazyRechunked t cs1 cs2 = hash (rechunkBS t cs1) == hash (rechunkBS t cs2)
138+
pBSLazyRechunked t cs1 cs2 =
139+
hash (rechunkBS t cs1) == hash (rechunkBS t cs2)
139140

140141
-- This wrapper is required by 'runST'.
141142
data ByteArray = BA { unBA :: ByteArray# }
@@ -239,6 +240,11 @@ properties =
239240
#endif
240241
, testProperty "bytestring/rechunk" pBSRechunk
241242
, testProperty "bytestring/rechunked" pBSLazyRechunked
243+
, testProperty "bytestring/rechunked/big" $ forAll (do
244+
x <- getSize
245+
y <- chooseInt (x, x*1000)
246+
resize y arbitrary
247+
) $ \x -> pBSLazyRechunked x
242248
]
243249
, testGroup "generics"
244250
[

0 commit comments

Comments
 (0)