@@ -102,6 +102,7 @@ eqEP a b e w = a s == b t &&
102102 s = notEmpty e
103103
104104prop_T_cons x = (x:) `eqP` (T.unpack . T.cons x)
105+prop_TL_cons x = ((x:) `eqP` (TL.unpack . TL.cons x))
105106prop_T_snoc x = (++ [x]) `eqP` (T.unpack . (flip T.snoc) x)
106107prop_T_append s = (s++) `eqP` (T.unpack . T.append (T.pack s))
107108prop_T_appendS s = (s++) `eqP` (T.unpack . S.unstream . S.append (S.stream (T.pack s)) . S.stream)
@@ -272,6 +273,7 @@ tests = [
272273 ("prop_T_utf32BE", mytest prop_T_utf32BE),
273274
274275 ("prop_T_cons", mytest prop_T_cons),
276+ ("prop_TL_cons", mytest prop_TL_cons),
275277 ("prop_T_snoc", mytest prop_T_snoc),
276278 ("prop_T_append", mytest prop_T_append),
277279 ("prop_T_appendS", mytest prop_T_appendS),