diff --git a/testsuite/tests/th/T10019.script b/testsuite/tests/th/T10019.script index eef5fe74b2269ae9e78cad6607460f1ffe34b876..bb3d0d464eac48045cd817dd4fa83ce8a7bdcfc1 100644 --- a/testsuite/tests/th/T10019.script +++ b/testsuite/tests/th/T10019.script @@ -1,4 +1,4 @@ :set -XTemplateHaskell import Language.Haskell.TH data Option a = Some a | None -$(reify 'Some >>= stringE . show) +$(reify 'Some >>= stringE . pprint) diff --git a/testsuite/tests/th/T10019.stdout b/testsuite/tests/th/T10019.stdout index 63459303dde70159c74d88d55e87109b62cf7a81..e0794053094ea816c70013a2f8ba9c9dd82fcfc8 100644 --- a/testsuite/tests/th/T10019.stdout +++ b/testsuite/tests/th/T10019.stdout @@ -1 +1 @@ -"DataConI Ghci1.Some (ForallT [KindedTV a_1627391544 StarT] [] (AppT (AppT ArrowT (VarT a_1627391544)) (AppT (ConT Ghci1.Option) (VarT a_1627391544)))) Ghci1.Option (Fixity 9 InfixL)" +"Constructor from Ghci1.Option: Ghci1.Some :: forall (a_0 :: *) . a_0 ->\n Ghci1.Option a_0" diff --git a/testsuite/tests/typecheck/should_fail/T10534.stderr b/testsuite/tests/typecheck/should_fail/T10534.stderr index 5f44426b5c6628e549155f413e1f1241f2116229..5053d7168dddbfc0f3891011dab10eb575ba1850 100644 --- a/testsuite/tests/typecheck/should_fail/T10534.stderr +++ b/testsuite/tests/typecheck/should_fail/T10534.stderr @@ -1,15 +1,15 @@ -T10534a.hs:9:10: error: - Could not deduce: a ~ b - from the context: Coercible (DF a) (DF b) - bound by the type signature for: - silly :: Coercible (DF a) (DF b) => a -> b +T10534a.hs:9:10: + Could not deduce (a ~ b) + from the context (Coercible (DF a) (DF b)) + bound by the type signature for + silly :: Coercible (DF a) (DF b) => a -> b at T10534a.hs:9:10-42 ‘a’ is a rigid type variable bound by - the type signature for: silly :: Coercible (DF a) (DF b) => a -> b + the type signature for silly :: Coercible (DF a) (DF b) => a -> b at T10534a.hs:9:10 ‘b’ is a rigid type variable bound by - the type signature for: silly :: Coercible (DF a) (DF b) => a -> b + the type signature for silly :: Coercible (DF a) (DF b) => a -> b at T10534a.hs:9:10 arising from trying to show that the representations of ‘DF a’ and