Hi, Did something change in pretty-printing recently? I saw these new validate failures today: Unexpected failures: ghci.debugger/scripts break008 [bad stdout] (ghci) ghci.debugger/scripts break012 [bad stdout] (ghci) ghci.debugger/scripts break026 [bad stdout] (ghci) ghci.debugger/scripts hist001 [bad stdout] (ghci) ghci/scripts T5545 [bad stdout] (ghci) ghci/scripts ghci008 [bad stdout] (ghci) ghci/scripts ghci012 [bad stdout] (ghci) ghci/scripts ghci023 [bad stdout] (ghci) ghci/scripts ghci025 [bad stdout] (ghci) ghci/scripts ghci026 [bad stdout] (ghci) ghci/scripts ghci055 [bad stdout] (ghci) Two example stdout changes: --- ./T5545.stdout 2014-03-13 09:48:23.000000000 +0100 +++ ./T5545.run.stdout 2014-03-13 21:11:32.000000000 +0100 @@ -1,2 +1,2 @@ -($!) :: (a -> b) -> a -> b -- Defined in 'Prelude' +$! :: forall a b. (a -> b) -> a -> b -- Defined in 'Prelude' infixr 0 $! *** unexpected failure for T5545(ghci) --- ./ghci008.stdout 2014-03-13 09:48:23.000000000 +0100 +++ ./ghci008.run.stdout 2014-03-13 21:12:20.000000000 +0100 @@ -32,5 +32,5 @@ -- Defined in 'GHC.Float' instance RealFloat Float -- Defined in 'GHC.Float' instance RealFloat Double -- Defined in 'GHC.Float' -Data.List.isPrefixOf :: Eq a => [a] -> [a] -> Bool +isPrefixOf :: forall a. Eq a -> [a] -> [a] -> Bool -- Defined in 'Data.List' *** unexpected failure for ghci008(ghci)