Use pprSigmaType to print GHCi debugger Suspension Terms (Fix #19355)

In the GHCi debugger use the function `pprSigmaType` to print out
Suspension Terms. The function `pprSigmaType` respect the flag
`-f(no-)print-explicit-foralls` and so it fixes #19355.

Switch back output of existing tests to default mode (no explicit foralls).

1 files changed, 8 insertions, 12 deletions

diff --git a/testsuite/tests/ghci/scripts/T14828.stdout b/testsuite/tests/ghci/scripts/T14828.stdout
index c7b100a137..aeab49d226 100644
--- a/testsuite/tests/ghci/scripts/T14828.stdout
+++ b/testsuite/tests/ghci/scripts/T14828.stdout
@@ -1,16 +1,12 @@
 foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
-foldl = (_t1::forall (t :: * -> *) b a.
-              Foldable t =>
-              (b -> a -> b) -> b -> t a -> b)
+foldl = (_t1::Foldable t => (b -> a -> b) -> b -> t a -> b)
 fmap :: Functor f => (a -> b) -> f a -> f b
-fmap = (_t2::forall (f :: * -> *) a b.
-             Functor f =>
-             (a -> b) -> f a -> f b)
+fmap = (_t2::Functor f => (a -> b) -> f a -> f b)
 return :: Monad m => a -> m a
-return = (_t3::forall (m :: * -> *) a. Monad m => a -> m a)
+return = (_t3::Monad m => a -> m a)
 pure :: Applicative f => a -> f a
-pure = (_t4::forall (f :: * -> *) a. Applicative f => a -> f a)
-mempty = (_t5::forall a. Monoid a => a)
-mappend = (_t6::forall a. Monoid a => a -> a -> a)
-foldl' = (_t7::forall a b. (b -> a -> b) -> b -> [a] -> b)
-f = (_t8::forall b. (forall a. a -> a) -> b -> b)
+pure = (_t4::Applicative f => a -> f a)
+mempty = (_t5::Monoid a => a)
+mappend = (_t6::Monoid a => a -> a -> a)
+foldl' = (_t7::(b -> a -> b) -> b -> [a] -> b)
+f = (_t8::(forall a. a -> a) -> b -> b)