1 module PropPretty where 2 import Pretty 3 import Parser 4 import Test.QuickCheck 5 6 -- Desired property: (does not hold) 7 prop_pretty_parse p = parse (show (pretty p)) == p 8 9 prop_pp p = whenFail debug $ parse (show (pretty p)) == p 10 where debug = do putStrLn ("p = " ++ show p) 11 putStrLn ("pretty p = " ++ show (pretty p)) 12 putStrLn ("parse (pretty p) = " ++ show (parse (show (pretty p))))