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))))