@@ -101,6 +101,7 @@ eqEP a b e w = a s == b t &&
101101 n = fromIntegral w
102102 s = notEmpty e
103103
104+prop_S_cons x = (x:) `eqP` (S.unstreamList . S.cons x)
104105prop_T_cons x = (x:) `eqP` (T.unpack . T.cons x)
105106prop_TL_cons x = ((x:) `eqP` (TL.unpack . TL.cons x))
106107prop_T_snoc x = (++ [x]) `eqP` (T.unpack . (flip T.snoc) x)
@@ -272,6 +273,7 @@ tests = [
272273 ("prop_T_utf32LE", mytest prop_T_utf32LE),
273274 ("prop_T_utf32BE", mytest prop_T_utf32BE),
274275
276+ ("prop_S_cons", mytest prop_S_cons),
275277 ("prop_T_cons", mytest prop_T_cons),
276278 ("prop_TL_cons", mytest prop_TL_cons),
277279 ("prop_T_snoc", mytest prop_T_snoc),