@@ -38,7 +38,7 @@ prop_stream_unstream t = (unstream . stream) t == t
38prop_reverse_stream t = (S.reverse . S.reverseStream) t == t
38prop_reverse_stream t = (S.reverse . S.reverseStream) t == t
39prop_singleton c = [c] == (unpack . T.singleton) c
39prop_singleton c = [c] == (unpack . T.singleton) c
41−prop_ascii t = E.decodeASCII (E.encodeASCII a) == a
41+prop_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
42 where a = T.map (\c -> chr (ord c `mod` 128)) t
42 where a = T.map (\c -> chr (ord c `mod` 128)) t
43prop_utf8 = (E.decodeUtf8 . E.encodeUtf8) `eq` id
43prop_utf8 = (E.decodeUtf8 . E.encodeUtf8) `eq` id
44prop_utf16LE = (E.decodeUtf16LE . E.encodeUtf16LE) `eq` id
44prop_utf16LE = (E.decodeUtf16LE . E.encodeUtf16LE) `eq` id