@@ -102,6 +102,7 @@ eqEP a b e w = a s == b t &&
102 s = notEmpty e
102 s = notEmpty e
104prop_T_cons x = (x:) `eqP` (T.unpack . T.cons x)
104prop_T_cons x = (x:) `eqP` (T.unpack . T.cons x)
105+prop_TL_cons x = ((x:) `eqP` (TL.unpack . TL.cons x))
105prop_T_snoc x = (++ [x]) `eqP` (T.unpack . (flip T.snoc) x)
106prop_T_snoc x = (++ [x]) `eqP` (T.unpack . (flip T.snoc) x)
106prop_T_append s = (s++) `eqP` (T.unpack . T.append (T.pack s))
107prop_T_append s = (s++) `eqP` (T.unpack . T.append (T.pack s))
107prop_T_appendS s = (s++) `eqP` (T.unpack . S.unstream . S.append (S.stream (T.pack s)) . S.stream)
108prop_T_appendS s = (s++) `eqP` (T.unpack . S.unstream . S.append (S.stream (T.pack s)) . S.stream)
@@ -272,6 +273,7 @@ tests = [
272 ("prop_T_utf32BE", mytest prop_T_utf32BE),
273 ("prop_T_utf32BE", mytest prop_T_utf32BE),
274 ("prop_T_cons", mytest prop_T_cons),
275 ("prop_T_cons", mytest prop_T_cons),
276+ ("prop_TL_cons", mytest prop_TL_cons),
275 ("prop_T_snoc", mytest prop_T_snoc),
277 ("prop_T_snoc", mytest prop_T_snoc),
276 ("prop_T_append", mytest prop_T_append),
278 ("prop_T_append", mytest prop_T_append),
277 ("prop_T_appendS", mytest prop_T_appendS),
279 ("prop_T_appendS", mytest prop_T_appendS),