@@ -42,6 +42,8 @@ listEquals eq stream list = do
42 when (not $ stream `eq` list) $ liftIO $ putStrLn $
42 when (not $ stream `eq` list) $ liftIO $ putStrLn $
43 "stream " <> show stream
43 "stream " <> show stream
44 <> "\nlist " <> show list
44 <> "\nlist " <> show list
45+ <> "\nstream length " <> show (length stream)
46+ <> "\nlist length " <> show (length list)
45 <> "\nstream \\\\ list " <> show (stream \\ list)
47 <> "\nstream \\\\ list " <> show (stream \\ list)
46 <> "\nlist \\\\ stream " <> show (list \\ stream)
48 <> "\nlist \\\\ stream " <> show (list \\ stream)
47 when (not $ stream `eq` list) $
49 when (not $ stream `eq` list) $
@@ -49,6 +51,8 @@ listEquals eq stream list = do
49 (counterexample $
51 (counterexample $
50 "stream " <> show stream
52 "stream " <> show stream
51 <> "\nlist " <> show list
53 <> "\nlist " <> show list
54+ <> "\nstream length " <> show (length stream)
55+ <> "\nlist length " <> show (length list)
52 <> "\nstream \\\\ list " <> show (stream \\ list)
56 <> "\nstream \\\\ list " <> show (stream \\ list)
53 <> "\nlist \\\\ stream " <> show (list \\ stream)
57 <> "\nlist \\\\ stream " <> show (list \\ stream)