@@ -31,17 +31,17 @@ listEquals :: (Show a, Eq a, MonadIO m)
3131 => ([a] -> [a] -> Bool) -> [a] -> [a] -> PropertyM m ()
3232listEquals eq parsed_list list = do
3333 when (not $ parsed_list `eq` list) $ liftIO $ putStrLn $
34− "parsed list " <> show parsed_list
35− <> "\nlist " <> show list
36− <> "\nparsed list \\\\ list " <> show (parsed_list \\ list)
37− <> "\nlist \\\\ parsed list " <> show (list \\ parsed_list)
34+ "parsed list " ++ show parsed_list
35+ ++ "\nlist " ++ show list
36+ ++ "\nparsed list \\\\ list " ++ show (parsed_list \\ list)
37+ ++ "\nlist \\\\ parsed list " ++ show (list \\ parsed_list)
3838 when (not $ parsed_list `eq` list) $
3939 monitor
4040 (counterexample $
41− "parsed list " <> show parsed_list
42− <> "\nlist " <> show list
43− <> "\nparsed list \\\\ list " <> show (parsed_list \\ list)
44− <> "\nlist \\\\ parsed list " <> show (list \\ parsed_list)
41+ "parsed list " ++ show parsed_list
42+ ++ "\nlist " ++ show list
43+ ++ "\nparsed list \\\\ list " ++ show (parsed_list \\ list)
44+ ++ "\nlist \\\\ parsed list " ++ show (list \\ parsed_list)
4545 )
4646 assert (parsed_list `eq` list)
4747