@@ -31,17 +31,17 @@ listEquals :: (Show a, Eq a, MonadIO m)
31 => ([a] -> [a] -> Bool) -> [a] -> [a] -> PropertyM m ()
31 => ([a] -> [a] -> Bool) -> [a] -> [a] -> PropertyM m ()
32listEquals eq parsed_list list = do
32listEquals eq parsed_list list = do
33 when (not $ parsed_list `eq` list) $ liftIO $ putStrLn $
33 when (not $ parsed_list `eq` list) $ liftIO $ putStrLn $
34− "parsed list " <> show parsed_list
34+ "parsed list " ++ show parsed_list
35− <> "\nlist " <> show list
35+ ++ "\nlist " ++ show list
36− <> "\nparsed list \\\\ list " <> show (parsed_list \\ list)
36+ ++ "\nparsed list \\\\ list " ++ show (parsed_list \\ list)
37− <> "\nlist \\\\ parsed list " <> show (list \\ parsed_list)
37+ ++ "\nlist \\\\ parsed list " ++ show (list \\ parsed_list)
38 when (not $ parsed_list `eq` list) $
38 when (not $ parsed_list `eq` list) $
40 (counterexample $
40 (counterexample $
41− "parsed list " <> show parsed_list
41+ "parsed list " ++ show parsed_list
42− <> "\nlist " <> show list
42+ ++ "\nlist " ++ show list
43− <> "\nparsed list \\\\ list " <> show (parsed_list \\ list)
43+ ++ "\nparsed list \\\\ list " ++ show (parsed_list \\ list)
44− <> "\nlist \\\\ parsed list " <> show (list \\ parsed_list)
44+ ++ "\nlist \\\\ parsed list " ++ show (list \\ parsed_list)
46 assert (parsed_list `eq` list)
46 assert (parsed_list `eq` list)