@@ -44,6 +44,7 @@ prop_T_singleton c = [c] == (T.unpack . T.singleton) c
44prop_TL_singleton c = [c] == (TL.unpack . TL.singleton) c
44prop_TL_singleton c = [c] == (TL.unpack . TL.singleton) c
45prop_TL_unstreamChunks x = f 11 x == f 1000 x
45prop_TL_unstreamChunks x = f 11 x == f 1000 x
46 where f n = SL.unstreamChunks n . S.streamList
46 where f n = SL.unstreamChunks n . S.streamList
47+prop_TL_chunk_unchunk = (TL.fromChunks . TL.toChunks) `eq` id
48prop_T_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
49prop_T_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
49 where a = T.map (\c -> chr (ord c `mod` 128)) t
50 where a = T.map (\c -> chr (ord c `mod` 128)) t
@@ -342,6 +343,7 @@ tests = [
342 ("prop_T_singleton", mytest prop_T_singleton),
343 ("prop_T_singleton", mytest prop_T_singleton),
343 ("prop_TL_singleton", mytest prop_TL_singleton),
344 ("prop_TL_singleton", mytest prop_TL_singleton),
344 ("prop_TL_unstreamChunks", mytest prop_TL_unstreamChunks),
345 ("prop_TL_unstreamChunks", mytest prop_TL_unstreamChunks),
346+ ("prop_TL_chunk_unchunk", mytest prop_TL_chunk_unchunk),
346 ("prop_T_ascii", mytest prop_T_ascii),
348 ("prop_T_ascii", mytest prop_T_ascii),
347 ("prop_T_utf8", mytest prop_T_utf8),
349 ("prop_T_utf8", mytest prop_T_utf8),