@@ -66,6 +66,7 @@ tl_singleton c = [c] == (TL.unpack . TL.singleton) c
66tl_unstreamChunks x = f 11 x == f 1000 x
66tl_unstreamChunks x = f 11 x == f 1000 x
67 where f n = SL.unstreamChunks n . S.streamList
67 where f n = SL.unstreamChunks n . S.streamList
68tl_chunk_unchunk = (TL.fromChunks . TL.toChunks) `eq` id
68tl_chunk_unchunk = (TL.fromChunks . TL.toChunks) `eq` id
69+tl_from_to_strict = (TL.fromStrict . TL.toStrict) `eq` id
70t_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
71t_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
71 where a = T.map (\c -> chr (ord c `mod` 128)) t
72 where a = T.map (\c -> chr (ord c `mod` 128)) t
@@ -675,7 +676,8 @@ tests = [
675 testProperty "t_singleton" t_singleton,
676 testProperty "t_singleton" t_singleton,
676 testProperty "tl_singleton" tl_singleton,
677 testProperty "tl_singleton" tl_singleton,
677 testProperty "tl_unstreamChunks" tl_unstreamChunks,
678 testProperty "tl_unstreamChunks" tl_unstreamChunks,
678− testProperty "tl_chunk_unchunk" tl_chunk_unchunk
679+ testProperty "tl_chunk_unchunk" tl_chunk_unchunk,
680+ testProperty "tl_from_to_strict" tl_from_to_strict
681 testGroup "transcoding" [
683 testGroup "transcoding" [