@@ -71,6 +71,8 @@ tl_from_to_strict = (TL.fromStrict . TL.toStrict) `eq` id
72t_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
72t_ascii t = E.decodeASCII (E.encodeUtf8 a) == a
73 where a = T.map (\c -> chr (ord c `mod` 128)) t
73 where a = T.map (\c -> chr (ord c `mod` 128)) t
74+tl_ascii t = EL.decodeASCII (EL.encodeUtf8 a) == a
75+ where a = TL.map (\c -> chr (ord c `mod` 128)) t
74t_utf8 = forAll genUnicode $ (E.decodeUtf8 . E.encodeUtf8) `eq` id
76t_utf8 = forAll genUnicode $ (E.decodeUtf8 . E.encodeUtf8) `eq` id
75tl_utf8 = forAll genUnicode $ (EL.decodeUtf8 . EL.encodeUtf8) `eq` id
77tl_utf8 = forAll genUnicode $ (EL.decodeUtf8 . EL.encodeUtf8) `eq` id
76t_utf16LE = forAll genUnicode $ (E.decodeUtf16LE . E.encodeUtf16LE) `eq` id
78t_utf16LE = forAll genUnicode $ (E.decodeUtf16LE . E.encodeUtf16LE) `eq` id
@@ -783,6 +785,7 @@ tests = [
784 testGroup "transcoding" [
786 testGroup "transcoding" [
785 testProperty "t_ascii" t_ascii,
787 testProperty "t_ascii" t_ascii,
788+ testProperty "tl_ascii" tl_ascii,
786 testProperty "t_utf8" t_utf8,
789 testProperty "t_utf8" t_utf8,
787 testProperty "tl_utf8" tl_utf8,
790 testProperty "tl_utf8" tl_utf8,
788 testProperty "t_utf16LE" t_utf16LE,
791 testProperty "t_utf16LE" t_utf16LE,