Testsuite: delete Windows line endings [skip ci] (#11631)

72 files changed, 400 insertions, 400 deletions

diff --git a/testsuite/tests/patsyn/should_fail/T9705-1.stderr b/testsuite/tests/patsyn/should_fail/T9705-1.stderr
index 400ecaa81f..595b70362b 100644
--- a/testsuite/tests/patsyn/should_fail/T9705-1.stderr
+++ b/testsuite/tests/patsyn/should_fail/T9705-1.stderr
@@ -1,4 +1,4 @@
-

-T9705-1.hs:3:5: error:

-    Pattern synonyms not allowed in class declaration:

-      pattern P = ()

+
+T9705-1.hs:3:5: error:
+    Pattern synonyms not allowed in class declaration:
+      pattern P = ()
diff --git a/testsuite/tests/patsyn/should_fail/T9705-2.stderr b/testsuite/tests/patsyn/should_fail/T9705-2.stderr
index 9a3309f080..520480b2f9 100644
--- a/testsuite/tests/patsyn/should_fail/T9705-2.stderr
+++ b/testsuite/tests/patsyn/should_fail/T9705-2.stderr
@@ -1,4 +1,4 @@
-

-T9705-2.hs:6:5: error:

-    Pattern synonyms not allowed in instance declaration:

-      pattern P = ()

+
+T9705-2.hs:6:5: error:
+    Pattern synonyms not allowed in instance declaration:
+      pattern P = ()
diff --git a/testsuite/tests/polykinds/T7272.hs-boot b/testsuite/tests/polykinds/T7272.hs-boot
index 7fe8de68b8..3d27295075 100644
--- a/testsuite/tests/polykinds/T7272.hs-boot
+++ b/testsuite/tests/polykinds/T7272.hs-boot
@@ -1,5 +1,5 @@
-{-# LANGUAGE PolyKinds, RoleAnnotations #-}

-

-module T7272 where

-

-class C (a :: k)

+{-# LANGUAGE PolyKinds, RoleAnnotations #-}
+
+module T7272 where
+
+class C (a :: k)
diff --git a/testsuite/tests/profiling/should_run/T5363.stdout-ws-32 b/testsuite/tests/profiling/should_run/T5363.stdout-ws-32
index 7d702d006b..eea8cf4aab 100644
--- a/testsuite/tests/profiling/should_run/T5363.stdout-ws-32
+++ b/testsuite/tests/profiling/should_run/T5363.stdout-ws-32
@@ -1 +1 @@
-194516864

+194516864
diff --git a/testsuite/tests/quotes/T3572.stdout b/testsuite/tests/quotes/T3572.stdout
index 9df7a449ff..4870cac236 100644
--- a/testsuite/tests/quotes/T3572.stdout
+++ b/testsuite/tests/quotes/T3572.stdout
@@ -1 +1 @@
-data Void_0

+data Void_0
diff --git a/testsuite/tests/quotes/TH_ppr1.stdout b/testsuite/tests/quotes/TH_ppr1.stdout
index e969c176c3..6c18e3fa2b 100644
--- a/testsuite/tests/quotes/TH_ppr1.stdout
+++ b/testsuite/tests/quotes/TH_ppr1.stdout
@@ -1,14 +1,14 @@
-Main.f Main.u1 Main.u2

-Main.u1 `Main.f` Main.u2

-(Main..+.) Main.u1 Main.u2

-Main.u1 Main..+. Main.u2

-(GHC.Types.:) Main.u1 Main.u2

-Main.u1 GHC.Types.: Main.u2

-\((GHC.Types.:) x_0 xs_1) -> x_0

-\(x_0 GHC.Types.: xs_1) -> x_0

-class Foo_0 a_1 b_2

-    where foo_3 :: a_1 -> b_2

-\x_0 -> (x_0, 1 `x_0` 2)

-\(+_0) -> ((+_0), 1 +_0 2)

-(Main.f, 1 `Main.f` 2)

-((Main..+.), 1 Main..+. 2)

+Main.f Main.u1 Main.u2
+Main.u1 `Main.f` Main.u2
+(Main..+.) Main.u1 Main.u2
+Main.u1 Main..+. Main.u2
+(GHC.Types.:) Main.u1 Main.u2
+Main.u1 GHC.Types.: Main.u2
+\((GHC.Types.:) x_0 xs_1) -> x_0
+\(x_0 GHC.Types.: xs_1) -> x_0
+class Foo_0 a_1 b_2
+    where foo_3 :: a_1 -> b_2
+\x_0 -> (x_0, 1 `x_0` 2)
+\(+_0) -> ((+_0), 1 +_0 2)
+(Main.f, 1 `Main.f` 2)
+((Main..+.), 1 Main..+. 2)
diff --git a/testsuite/tests/rebindable/rebindable7.stdout b/testsuite/tests/rebindable/rebindable7.stdout
index f1c101bdd7..1e8b314962 100644
--- a/testsuite/tests/rebindable/rebindable7.stdout
+++ b/testsuite/tests/rebindable/rebindable7.stdout
@@ -1 +1 @@
-6

+6
diff --git a/testsuite/tests/rename/should_compile/T1972.stderr b/testsuite/tests/rename/should_compile/T1972.stderr
index e19b08eece..32af87af0e 100644
--- a/testsuite/tests/rename/should_compile/T1972.stderr
+++ b/testsuite/tests/rename/should_compile/T1972.stderr
@@ -1,12 +1,12 @@
-

-T1972.hs:12:3: warning:

-    This binding for ‘name’ shadows the existing binding

-      defined at T1972.hs:9:19

-

-T1972.hs:14:3: warning:

-    This binding for ‘mapAccumL’ shadows the existing bindings

-      imported from ‘Data.List’ at T1972.hs:7:1-16

-      (and originally defined in ‘Data.Traversable’)

-      defined at T1972.hs:16:1

-

-T1972.hs:20:10: warning: Defined but not used: ‘c’

+
+T1972.hs:12:3: warning:
+    This binding for ‘name’ shadows the existing binding
+      defined at T1972.hs:9:19
+
+T1972.hs:14:3: warning:
+    This binding for ‘mapAccumL’ shadows the existing bindings
+      imported from ‘Data.List’ at T1972.hs:7:1-16
+      (and originally defined in ‘Data.Traversable’)
+      defined at T1972.hs:16:1
+
+T1972.hs:20:10: warning: Defined but not used: ‘c’
diff --git a/testsuite/tests/rename/should_compile/T5331.stderr b/testsuite/tests/rename/should_compile/T5331.stderr
index 965e15a9b4..6a783e5831 100644
--- a/testsuite/tests/rename/should_compile/T5331.stderr
+++ b/testsuite/tests/rename/should_compile/T5331.stderr
@@ -1,12 +1,12 @@
-

-T5331.hs:8:17: warning:

-    Unused quantified type variable ‘a’

-    In the definition of data constructor ‘S1’

-

-T5331.hs:11:16: warning:

-    Unused quantified type variable ‘a’

-    In the type ‘forall a. W’

-

-T5331.hs:13:13: warning:

-    Unused quantified type variable ‘a’

-    In the type ‘forall a. Int’

+
+T5331.hs:8:17: warning:
+    Unused quantified type variable ‘a’
+    In the definition of data constructor ‘S1’
+
+T5331.hs:11:16: warning:
+    Unused quantified type variable ‘a’
+    In the type ‘forall a. W’
+
+T5331.hs:13:13: warning:
+    Unused quantified type variable ‘a’
+    In the type ‘forall a. Int’
diff --git a/testsuite/tests/rename/should_compile/T5592.stdout b/testsuite/tests/rename/should_compile/T5592.stdout
index d58d2d8c52..302e6a55ab 100644
--- a/testsuite/tests/rename/should_compile/T5592.stdout
+++ b/testsuite/tests/rename/should_compile/T5592.stdout
@@ -1 +1 @@
-MyRecord {field = "Hello, world!"}

+MyRecord {field = "Hello, world!"}
diff --git a/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr b/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr
index b34f4354b3..ad574a619f 100644
--- a/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr
+++ b/testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr
@@ -1,3 +1,3 @@
-

-RnStaticPointersFail02.hs:5:12: error:

-    Data constructor not in scope: T

+
+RnStaticPointersFail02.hs:5:12: error:
+    Data constructor not in scope: T
diff --git a/testsuite/tests/rename/should_fail/T5372.stderr b/testsuite/tests/rename/should_fail/T5372.stderr
index 5d7a9c4ead..f6a466eb6c 100644
--- a/testsuite/tests/rename/should_fail/T5372.stderr
+++ b/testsuite/tests/rename/should_fail/T5372.stderr
@@ -1,8 +1,8 @@
-

-T5372.hs:4:11: error:

-    Not in scope: data constructor ‘MkS’

-    Perhaps you meant ‘T5372a.MkS’ (imported from T5372a)

-

-T5372.hs:4:17: error:

-    Not in scope: ‘x’

-    Perhaps you meant ‘T5372a.x’ (imported from T5372a)

+
+T5372.hs:4:11: error:
+    Not in scope: data constructor ‘MkS’
+    Perhaps you meant ‘T5372a.MkS’ (imported from T5372a)
+
+T5372.hs:4:17: error:
+    Not in scope: ‘x’
+    Perhaps you meant ‘T5372a.x’ (imported from T5372a)
diff --git a/testsuite/tests/rename/should_fail/T5533.stderr b/testsuite/tests/rename/should_fail/T5533.stderr
index 2c8d761667..bd5516cceb 100644
--- a/testsuite/tests/rename/should_fail/T5533.stderr
+++ b/testsuite/tests/rename/should_fail/T5533.stderr
@@ -1,4 +1,4 @@
-

-T5533.hs:4:1: error:

-    The type signature for ‘f2’ lacks an accompanying binding

-      (The type signature must be given where ‘f2’ is declared)

+
+T5533.hs:4:1: error:
+    The type signature for ‘f2’ lacks an accompanying binding
+      (The type signature must be given where ‘f2’ is declared)
diff --git a/testsuite/tests/rename/should_fail/T7906.stderr b/testsuite/tests/rename/should_fail/T7906.stderr
index e2b3e13008..ab448ed26e 100644
--- a/testsuite/tests/rename/should_fail/T7906.stderr
+++ b/testsuite/tests/rename/should_fail/T7906.stderr
@@ -1,4 +1,4 @@
-

-T7906.hs:5:16: error:

-    The INLINABLE pragma for ‘foo’ lacks an accompanying binding

-      (The INLINABLE pragma must be given where ‘foo’ is declared)

+
+T7906.hs:5:16: error:
+    The INLINABLE pragma for ‘foo’ lacks an accompanying binding
+      (The INLINABLE pragma must be given where ‘foo’ is declared)
diff --git a/testsuite/tests/rename/should_fail/T9177.stderr b/testsuite/tests/rename/should_fail/T9177.stderr
index 421a600b3c..b336b32524 100644
--- a/testsuite/tests/rename/should_fail/T9177.stderr
+++ b/testsuite/tests/rename/should_fail/T9177.stderr
@@ -1,12 +1,12 @@
-

-T9177.hs:4:13: error:

-    Not in scope: type variable ‘int’

-    Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)

-

-T9177.hs:7:14: error:

-    Not in scope: type variable ‘integerr’

-    Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)

-

-T9177.hs:16:6: error:

-    Not in scope: data constructor ‘Fun’

-    Perhaps you meant variable ‘fun’ (line 20)

+
+T9177.hs:4:13: error:
+    Not in scope: type variable ‘int’
+    Perhaps you meant type constructor or class ‘Int’ (imported from Prelude)
+
+T9177.hs:7:14: error:
+    Not in scope: type variable ‘integerr’
+    Perhaps you meant type constructor or class ‘Integer’ (imported from Prelude)
+
+T9177.hs:16:6: error:
+    Not in scope: data constructor ‘Fun’
+    Perhaps you meant variable ‘fun’ (line 20)
diff --git a/testsuite/tests/rename/should_fail/T9177a.stderr b/testsuite/tests/rename/should_fail/T9177a.stderr
index 858dabea71..0fd65a0726 100644
--- a/testsuite/tests/rename/should_fail/T9177a.stderr
+++ b/testsuite/tests/rename/should_fail/T9177a.stderr
@@ -1,4 +1,4 @@
-

-T9177a.hs:3:8: error: Variable not in scope: bar

-

-T9177a.hs:4:8: error: Data constructor not in scope: Fun

+
+T9177a.hs:3:8: error: Variable not in scope: bar
+
+T9177a.hs:4:8: error: Data constructor not in scope: Fun
diff --git a/testsuite/tests/rename/should_fail/mc14.stderr b/testsuite/tests/rename/should_fail/mc14.stderr
index 4182c8fa8c..402006af2a 100644
--- a/testsuite/tests/rename/should_fail/mc14.stderr
+++ b/testsuite/tests/rename/should_fail/mc14.stderr
@@ -1,2 +1,2 @@
-

-mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)

+
+mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)
diff --git a/testsuite/tests/rename/should_fail/rn_dup.stderr b/testsuite/tests/rename/should_fail/rn_dup.stderr
index db6767a635..ba8a9a56dc 100644
--- a/testsuite/tests/rename/should_fail/rn_dup.stderr
+++ b/testsuite/tests/rename/should_fail/rn_dup.stderr
@@ -1,30 +1,30 @@
-

-rn_dup.hs:9:10: error:

-    Multiple declarations of ‘MkT’

-    Declared at: rn_dup.hs:7:10

-                 rn_dup.hs:9:10

-

-rn_dup.hs:9:10: error:

-    Multiple declarations of ‘MkT’

-    Declared at: rn_dup.hs:7:16

-                 rn_dup.hs:9:10

-

-rn_dup.hs:12:16: error:

-    Multiple declarations of ‘rf’

-    Declared at: rn_dup.hs:11:16

-                 rn_dup.hs:12:16

-

-rn_dup.hs:12:16: error:

-    Multiple declarations of ‘rf’

-    Declared at: rn_dup.hs:11:27

-                 rn_dup.hs:12:16

-

-rn_dup.hs:17:3: error:

-    Multiple declarations of ‘CT’

-    Declared at: rn_dup.hs:15:3

-                 rn_dup.hs:17:3

-

-rn_dup.hs:18:3: error:

-    Multiple declarations of ‘f’

-    Declared at: rn_dup.hs:16:3

-                 rn_dup.hs:18:3

+
+rn_dup.hs:9:10: error:
+    Multiple declarations of ‘MkT’
+    Declared at: rn_dup.hs:7:10
+                 rn_dup.hs:9:10
+
+rn_dup.hs:9:10: error:
+    Multiple declarations of ‘MkT’
+    Declared at: rn_dup.hs:7:16
+                 rn_dup.hs:9:10
+
+rn_dup.hs:12:16: error:
+    Multiple declarations of ‘rf’
+    Declared at: rn_dup.hs:11:16
+                 rn_dup.hs:12:16
+
+rn_dup.hs:12:16: error:
+    Multiple declarations of ‘rf’
+    Declared at: rn_dup.hs:11:27
+                 rn_dup.hs:12:16
+
+rn_dup.hs:17:3: error:
+    Multiple declarations of ‘CT’
+    Declared at: rn_dup.hs:15:3
+                 rn_dup.hs:17:3
+
+rn_dup.hs:18:3: error:
+    Multiple declarations of ‘f’
+    Declared at: rn_dup.hs:16:3
+                 rn_dup.hs:18:3
diff --git a/testsuite/tests/rename/should_fail/rnfail024.stderr b/testsuite/tests/rename/should_fail/rnfail024.stderr
index 0e3d594c3c..6be278d76e 100644
--- a/testsuite/tests/rename/should_fail/rnfail024.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail024.stderr
@@ -1,4 +1,4 @@
-

-rnfail024.hs:3:1: error:

-    The type signature for ‘sig_without_a_defn’

-      lacks an accompanying binding

+
+rnfail024.hs:3:1: error:
+    The type signature for ‘sig_without_a_defn’
+      lacks an accompanying binding
diff --git a/testsuite/tests/rename/should_fail/rnfail044.stderr b/testsuite/tests/rename/should_fail/rnfail044.stderr
index 4cfb3e4d23..6dcf2ca8f9 100644
--- a/testsuite/tests/rename/should_fail/rnfail044.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail044.stderr
@@ -1,7 +1,7 @@
-

-rnfail044.hs:5:12: error:

-    Ambiguous occurrence ‘splitAt’

-    It could refer to either ‘Data.List.splitAt’,

-                             imported from ‘Prelude’ at rnfail044.hs:5:8

-                             (and originally defined in ‘GHC.List’)

-                          or ‘A.splitAt’, defined at rnfail044.hs:8:3

+
+rnfail044.hs:5:12: error:
+    Ambiguous occurrence ‘splitAt’
+    It could refer to either ‘Data.List.splitAt’,
+                             imported from ‘Prelude’ at rnfail044.hs:5:8
+                             (and originally defined in ‘GHC.List’)
+                          or ‘A.splitAt’, defined at rnfail044.hs:8:3
diff --git a/testsuite/tests/rename/should_fail/rnfail049.stderr b/testsuite/tests/rename/should_fail/rnfail049.stderr
index b85c25ccdb..a374902114 100644
--- a/testsuite/tests/rename/should_fail/rnfail049.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail049.stderr
@@ -1,2 +1,2 @@
-

-rnfail049.hs:12:49: error: Variable not in scope: f :: [a] -> [[a]]

+
+rnfail049.hs:12:49: error: Variable not in scope: f :: [a] -> [[a]]
diff --git a/testsuite/tests/rename/should_fail/rnfail050.stderr b/testsuite/tests/rename/should_fail/rnfail050.stderr
index 0f940f87b5..6ce61321f9 100644
--- a/testsuite/tests/rename/should_fail/rnfail050.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail050.stderr
@@ -1,2 +1,2 @@
-

-rnfail050.hs:10:37: error: Variable not in scope: f :: [a] -> [a]

+
+rnfail050.hs:10:37: error: Variable not in scope: f :: [a] -> [a]
diff --git a/testsuite/tests/rts/T10672/cxxy.cpp b/testsuite/tests/rts/T10672/cxxy.cpp
index 815d15399e..682a96f252 100644
--- a/testsuite/tests/rts/T10672/cxxy.cpp
+++ b/testsuite/tests/rts/T10672/cxxy.cpp
@@ -1,23 +1,23 @@
-// Copyright (C) 2015, Luke Iannini

-

-#include <iostream>

-#include <exception>

-#include <string.h>

-

-// Make sure can call unmangled names from Haskell's FFI

-extern "C" {

-

-int talkToCxx() {

-

-  try {

-    throw 20;

-  }

-  catch (int e) {

-    std::cout << "An exception occurred. Exception Nr. " << e << '\n';

-  }

-

-  std::cout << "Hello From C++!";

-}

-

-

-}

+// Copyright (C) 2015, Luke Iannini
+
+#include <iostream>
+#include <exception>
+#include <string.h>
+
+// Make sure can call unmangled names from Haskell's FFI
+extern "C" {
+
+int talkToCxx() {
+
+  try {
+    throw 20;
+  }
+  catch (int e) {
+    std::cout << "An exception occurred. Exception Nr. " << e << '\n';
+  }
+
+  std::cout << "Hello From C++!";
+}
+
+
+}
diff --git a/testsuite/tests/rts/derefnull.stdout-x86_64-unknown-mingw32 b/testsuite/tests/rts/derefnull.stdout-x86_64-unknown-mingw32
index cbabc63f88..5f2034dd57 100644
--- a/testsuite/tests/rts/derefnull.stdout-x86_64-unknown-mingw32
+++ b/testsuite/tests/rts/derefnull.stdout-x86_64-unknown-mingw32
@@ -1 +1 @@
-Segmentation fault/access violation in generated code

+Segmentation fault/access violation in generated code
diff --git a/testsuite/tests/rts/divbyzero.stdout-x86_64-unknown-mingw32 b/testsuite/tests/rts/divbyzero.stdout-x86_64-unknown-mingw32
index 275d5d4601..466709b368 100644
--- a/testsuite/tests/rts/divbyzero.stdout-x86_64-unknown-mingw32
+++ b/testsuite/tests/rts/divbyzero.stdout-x86_64-unknown-mingw32
@@ -1 +1 @@
-divide by zero

+divide by zero
diff --git a/testsuite/tests/safeHaskell/ghci/p10.stderr b/testsuite/tests/safeHaskell/ghci/p10.stderr
index 5104dd6a96..fdb45da711 100644
--- a/testsuite/tests/safeHaskell/ghci/p10.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p10.stderr
@@ -1,2 +1,2 @@
-

-<interactive>:9:1: error: Variable not in scope: b

+
+<interactive>:9:1: error: Variable not in scope: b
diff --git a/testsuite/tests/safeHaskell/ghci/p9.stderr b/testsuite/tests/safeHaskell/ghci/p9.stderr
index 5104dd6a96..fdb45da711 100644
--- a/testsuite/tests/safeHaskell/ghci/p9.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p9.stderr
@@ -1,2 +1,2 @@
-

-<interactive>:9:1: error: Variable not in scope: b

+
+<interactive>:9:1: error: Variable not in scope: b
diff --git a/testsuite/tests/simplCore/should_compile/T5996.stdout b/testsuite/tests/simplCore/should_compile/T5996.stdout
index bac917e005..b8a3398c16 100644
--- a/testsuite/tests/simplCore/should_compile/T5996.stdout
+++ b/testsuite/tests/simplCore/should_compile/T5996.stdout
@@ -1,2 +1,2 @@
-y2

-y2 = x2

+y2
+y2 = x2
diff --git a/testsuite/tests/simplCore/should_compile/T8848a.stderr b/testsuite/tests/simplCore/should_compile/T8848a.stderr
index bd2e0cd6cc..f9f2597c6b 100644
--- a/testsuite/tests/simplCore/should_compile/T8848a.stderr
+++ b/testsuite/tests/simplCore/should_compile/T8848a.stderr
@@ -1,6 +1,6 @@
-

-==================== Tidy Core rules ====================

-"SPEC f" [ALWAYS]

-    forall (@ b) ($dOrd :: Ord [Int]). f @ [Int] @ b $dOrd = f_$sf @ b

-

-

+
+==================== Tidy Core rules ====================
+"SPEC f" [ALWAYS]
+    forall (@ b) ($dOrd :: Ord [Int]). f @ [Int] @ b $dOrd = f_$sf @ b
+
+
diff --git a/testsuite/tests/simplCore/should_run/T11172.stdout b/testsuite/tests/simplCore/should_run/T11172.stdout
index 9173c6574c..c3d6cec083 100644
--- a/testsuite/tests/simplCore/should_run/T11172.stdout
+++ b/testsuite/tests/simplCore/should_run/T11172.stdout
@@ -1 +1 @@
-Right (Left (),JSONState [] () ())

+Right (Left (),JSONState [] () ())
diff --git a/testsuite/tests/simplCore/should_run/T5441.stdout b/testsuite/tests/simplCore/should_run/T5441.stdout
index 18748286e5..573541ac97 100644
--- a/testsuite/tests/simplCore/should_run/T5441.stdout
+++ b/testsuite/tests/simplCore/should_run/T5441.stdout
@@ -1 +1 @@
-0

+0
diff --git a/testsuite/tests/simplCore/should_run/T5453.stdout b/testsuite/tests/simplCore/should_run/T5453.stdout
index e178f82310..d86bac9de5 100644
--- a/testsuite/tests/simplCore/should_run/T5453.stdout
+++ b/testsuite/tests/simplCore/should_run/T5453.stdout
@@ -1 +1 @@
-OK

+OK
diff --git a/testsuite/tests/th/T2700.stderr b/testsuite/tests/th/T2700.stderr
index 004521c197..d5fa0eeb5b 100644
--- a/testsuite/tests/th/T2700.stderr
+++ b/testsuite/tests/th/T2700.stderr
@@ -1 +1 @@
-foo :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.Bool

+foo :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.Bool
diff --git a/testsuite/tests/th/T3920.stdout b/testsuite/tests/th/T3920.stdout
index ddc9748894..a1e63c826f 100644
--- a/testsuite/tests/th/T3920.stdout
+++ b/testsuite/tests/th/T3920.stdout
@@ -1,2 +1,2 @@
-type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *

-type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *

+type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *
+type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
diff --git a/testsuite/tests/th/T5217.stderr b/testsuite/tests/th/T5217.stderr
index fe9150d90b..e1a92c89ca 100644
--- a/testsuite/tests/th/T5217.stderr
+++ b/testsuite/tests/th/T5217.stderr
@@ -1,14 +1,14 @@
-T5217.hs:(6,3)-(9,53): Splicing declarations

-    [d| data T a b

-          where

-            T1 :: Int -> T Int Char

-            T2 :: a -> T a a

-            T3 :: a -> T [a] a

-            T4 :: a -> b -> T b [a] |]

-  ======>

-    data T a b

-      where

-        T1 :: Int -> T Int Char

-        T2 :: forall a. a -> T a a

-        T3 :: forall a. a -> T [a] a

-        T4 :: forall a b. a -> b -> T b [a]

+T5217.hs:(6,3)-(9,53): Splicing declarations
+    [d| data T a b
+          where
+            T1 :: Int -> T Int Char
+            T2 :: a -> T a a
+            T3 :: a -> T [a] a
+            T4 :: a -> b -> T b [a] |]
+  ======>
+    data T a b
+      where
+        T1 :: Int -> T Int Char
+        T2 :: forall a. a -> T a a
+        T3 :: forall a. a -> T [a] a
+        T4 :: forall a b. a -> b -> T b [a]
diff --git a/testsuite/tests/th/T5410.stdout b/testsuite/tests/th/T5410.stdout
index cc9bc03d31..041cd138b2 100644
--- a/testsuite/tests/th/T5410.stdout
+++ b/testsuite/tests/th/T5410.stdout
@@ -1 +1 @@
-<function>

+<function>
diff --git a/testsuite/tests/th/T7241.stderr b/testsuite/tests/th/T7241.stderr
index 15c554175c..07d17c9da3 100644
--- a/testsuite/tests/th/T7241.stderr
+++ b/testsuite/tests/th/T7241.stderr
@@ -1,8 +1,8 @@
-

-T7241.hs:7:3: error:

-    Same exact name in multiple name-spaces:

-      type constructor or class ‘Foo’, declared at: T7241.hs:7:3

-      data constructor ‘Foo’, declared at: T7241.hs:7:3

-      Probable cause: you bound a unique Template Haskell name (NameU),

-      perhaps via newName, in different name-spaces.

-      If that's it, then -ddump-splices might be useful

+
+T7241.hs:7:3: error:
+    Same exact name in multiple name-spaces:
+      type constructor or class ‘Foo’, declared at: T7241.hs:7:3
+      data constructor ‘Foo’, declared at: T7241.hs:7:3
+      Probable cause: you bound a unique Template Haskell name (NameU),
+      perhaps via newName, in different name-spaces.
+      If that's it, then -ddump-splices might be useful
diff --git a/testsuite/tests/th/T8625.stdout b/testsuite/tests/th/T8625.stdout
index 000050bc97..8308c5b67d 100644
--- a/testsuite/tests/th/T8625.stdout
+++ b/testsuite/tests/th/T8625.stdout
@@ -1,2 +1,2 @@
-[InstanceD [AppT (AppT EqualityT (VarT y_0)) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT Ghci1.Member) (ConT GHC.Types.Bool)) []]

-[SigD f_4 (ForallT [PlainTV y_2,PlainTV t_3] [AppT (AppT EqualityT (VarT y_2)) (AppT (AppT ArrowT (VarT t_3)) (VarT t_3))] (AppT (AppT ArrowT (VarT y_2)) (VarT t_3))),FunD f_4 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]

+[InstanceD [AppT (AppT EqualityT (VarT y_0)) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT Ghci1.Member) (ConT GHC.Types.Bool)) []]
+[SigD f_4 (ForallT [PlainTV y_2,PlainTV t_3] [AppT (AppT EqualityT (VarT y_2)) (AppT (AppT ArrowT (VarT t_3)) (VarT t_3))] (AppT (AppT ArrowT (VarT y_2)) (VarT t_3))),FunD f_4 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]
diff --git a/testsuite/tests/th/T8932.stderr b/testsuite/tests/th/T8932.stderr
index 68fb024938..96e5d8a9fc 100644
--- a/testsuite/tests/th/T8932.stderr
+++ b/testsuite/tests/th/T8932.stderr
@@ -1,5 +1,5 @@
-

-T8932.hs:11:1: error:

-    Multiple declarations of ‘foo’

-    Declared at: T8932.hs:5:3

-                 T8932.hs:11:1

+
+T8932.hs:11:1: error:
+    Multiple declarations of ‘foo’
+    Declared at: T8932.hs:5:3
+                 T8932.hs:11:1
diff --git a/testsuite/tests/th/TH_linePragma.stderr b/testsuite/tests/th/TH_linePragma.stderr
index 146d88f86e..03f35db988 100644
--- a/testsuite/tests/th/TH_linePragma.stderr
+++ b/testsuite/tests/th/TH_linePragma.stderr
@@ -1,2 +1,2 @@
-

-virtual file:42:1: error: Variable not in scope: doesntExist

+
+virtual file:42:1: error: Variable not in scope: doesntExist
diff --git a/testsuite/tests/th/TH_pragma.stderr b/testsuite/tests/th/TH_pragma.stderr
index 07b56645cd..0fcd167aa4 100644
--- a/testsuite/tests/th/TH_pragma.stderr
+++ b/testsuite/tests/th/TH_pragma.stderr
@@ -1,16 +1,16 @@
-TH_pragma.hs:(6,4)-(8,26): Splicing declarations

-    [d| foo :: Int -> Int

-        {-# NOINLINE foo #-}

-        foo x = x + 1 |]

-  ======>

-    foo :: Int -> Int

-    {-# NOINLINE foo #-}

-    foo x = (x + 1)

-TH_pragma.hs:(10,4)-(12,31): Splicing declarations

-    [d| bar :: Num a => a -> a

-        {-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}

-        bar x = x * 10 |]

-  ======>

-    bar :: forall a. Num a => a -> a

-    {-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}

-    bar x = (x * 10)

+TH_pragma.hs:(6,4)-(8,26): Splicing declarations
+    [d| foo :: Int -> Int
+        {-# NOINLINE foo #-}
+        foo x = x + 1 |]
+  ======>
+    foo :: Int -> Int
+    {-# NOINLINE foo #-}
+    foo x = (x + 1)
+TH_pragma.hs:(10,4)-(12,31): Splicing declarations
+    [d| bar :: Num a => a -> a
+        {-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
+        bar x = x * 10 |]
+  ======>
+    bar :: forall a. Num a => a -> a
+    {-# SPECIALIZE INLINE[~1] bar :: Float -> Float #-}
+    bar x = (x * 10)
diff --git a/testsuite/tests/th/TH_viewPatPrint.stdout b/testsuite/tests/th/TH_viewPatPrint.stdout
index a995dae563..d0da709553 100644
--- a/testsuite/tests/th/TH_viewPatPrint.stdout
+++ b/testsuite/tests/th/TH_viewPatPrint.stdout
@@ -1,2 +1,2 @@
-ViewP (VarE GHC.Base.id) (VarP x_0)

-(GHC.Base.id -> x_0)

+ViewP (VarE GHC.Base.id) (VarP x_0)
+(GHC.Base.id -> x_0)
diff --git a/testsuite/tests/typecheck/should_compile/T11254.stderr b/testsuite/tests/typecheck/should_compile/T11254.stderr
index 692c72f18d..dd63b88c20 100644
--- a/testsuite/tests/typecheck/should_compile/T11254.stderr
+++ b/testsuite/tests/typecheck/should_compile/T11254.stderr
@@ -1,15 +1,15 @@
-

-T11254.hs:16:10: warning:

-    • Couldn't match type ‘Frac Int’ with ‘Int’

-        arising from the superclasses of an instance declaration

-    • In the instance declaration for ‘ID Rational’

-

-T11254.hs:18:12: warning:

-    • Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Int’

-      Expected type: Rational -> Frac Rational

-        Actual type: Rational -> Rational

-    • When checking that instance signature for ‘embed’

-        is more general than its signature in the class

-        Instance sig: Rational -> Rational

-           Class sig: Rational -> Frac Rational

-      In the instance declaration for ‘ID Rational’

+
+T11254.hs:16:10: warning:
+    • Couldn't match type ‘Frac Int’ with ‘Int’
+        arising from the superclasses of an instance declaration
+    • In the instance declaration for ‘ID Rational’
+
+T11254.hs:18:12: warning:
+    • Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Int’
+      Expected type: Rational -> Frac Rational
+        Actual type: Rational -> Rational
+    • When checking that instance signature for ‘embed’
+        is more general than its signature in the class
+        Instance sig: Rational -> Rational
+           Class sig: Rational -> Frac Rational
+      In the instance declaration for ‘ID Rational’
diff --git a/testsuite/tests/typecheck/should_fail/T11355.stderr b/testsuite/tests/typecheck/should_fail/T11355.stderr
index e902344631..68375400a8 100644
--- a/testsuite/tests/typecheck/should_fail/T11355.stderr
+++ b/testsuite/tests/typecheck/should_fail/T11355.stderr
@@ -1,9 +1,9 @@
-

-T11355.hs:5:7: error:

-    • Illegal polymorphic type: forall (a :: TYPE t0). a

-      GHC doesn't yet support impredicative polymorphism

-    • In the expression:

-        const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))

-      In an equation for ‘foo’:

-          foo

-            = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))

+
+T11355.hs:5:7: error:
+    • Illegal polymorphic type: forall (a :: TYPE t0). a
+      GHC doesn't yet support impredicative polymorphism
+    • In the expression:
+        const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
+      In an equation for ‘foo’:
+          foo
+            = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
diff --git a/testsuite/tests/typecheck/should_fail/T2538.stderr b/testsuite/tests/typecheck/should_fail/T2538.stderr
index 82ff1c74f4..dc87c5d9c9 100644
--- a/testsuite/tests/typecheck/should_fail/T2538.stderr
+++ b/testsuite/tests/typecheck/should_fail/T2538.stderr
@@ -1,18 +1,18 @@
-

-T2538.hs:6:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the type signature:

-        f :: (Eq a => a -> a) -> Int

-

-T2538.hs:9:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        g :: [Eq a => a -> a] -> Int

-

-T2538.hs:12:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        h :: Ix (Eq a => a -> a) => Int

+
+T2538.hs:6:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the type signature:
+        f :: (Eq a => a -> a) -> Int
+
+T2538.hs:9:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        g :: [Eq a => a -> a] -> Int
+
+T2538.hs:12:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        h :: Ix (Eq a => a -> a) => Int
diff --git a/testsuite/tests/typecheck/should_fail/T5957.stderr b/testsuite/tests/typecheck/should_fail/T5957.stderr
index 88e09044ec..8239d56de9 100644
--- a/testsuite/tests/typecheck/should_fail/T5957.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5957.stderr
@@ -1,6 +1,6 @@
-

-T5957.hs:3:9: error:

-    • Illegal qualified type: Show a => a -> String

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the type signature:

-        flex :: Int -> Show a => a -> String

+
+T5957.hs:3:9: error:
+    • Illegal qualified type: Show a => a -> String
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the type signature:
+        flex :: Int -> Show a => a -> String
diff --git a/testsuite/tests/typecheck/should_fail/T7019.stderr b/testsuite/tests/typecheck/should_fail/T7019.stderr
index 4e3bf7cfb4..2db5bbb90b 100644
--- a/testsuite/tests/typecheck/should_fail/T7019.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7019.stderr
@@ -1,5 +1,5 @@
-

-T7019.hs:11:1: error:

-    • Illegal polymorphic type: forall a. c (Free c a)

-      A constraint must be a monotype

-    • In the type synonym declaration for ‘C’

+
+T7019.hs:11:1: error:
+    • Illegal polymorphic type: forall a. c (Free c a)
+      A constraint must be a monotype
+    • In the type synonym declaration for ‘C’
diff --git a/testsuite/tests/typecheck/should_fail/T7019a.stderr b/testsuite/tests/typecheck/should_fail/T7019a.stderr
index 0cb36d3325..a50fbcf240 100644
--- a/testsuite/tests/typecheck/should_fail/T7019a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7019a.stderr
@@ -1,7 +1,7 @@
-

-T7019a.hs:11:1: error:

-    • Illegal polymorphic type: forall b. Context (Associated a b)

-      A constraint must be a monotype

-    • In the context: forall b. Context (Associated a b)

-      While checking the super-classes of class ‘Class’

-      In the class declaration for ‘Class’

+
+T7019a.hs:11:1: error:
+    • Illegal polymorphic type: forall b. Context (Associated a b)
+      A constraint must be a monotype
+    • In the context: forall b. Context (Associated a b)
+      While checking the super-classes of class ‘Class’
+      In the class declaration for ‘Class’
diff --git a/testsuite/tests/typecheck/should_fail/T7809.stderr b/testsuite/tests/typecheck/should_fail/T7809.stderr
index 3a85051621..8e5eea9a52 100644
--- a/testsuite/tests/typecheck/should_fail/T7809.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7809.stderr
@@ -1,6 +1,6 @@
-

-T7809.hs:8:8: error:

-    • Illegal polymorphic type: PolyId

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: F PolyId

+
+T7809.hs:8:8: error:
+    • Illegal polymorphic type: PolyId
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: F PolyId
diff --git a/testsuite/tests/typecheck/should_fail/T8806.stderr b/testsuite/tests/typecheck/should_fail/T8806.stderr
index cc84310b00..f0043a3edb 100644
--- a/testsuite/tests/typecheck/should_fail/T8806.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8806.stderr
@@ -1,10 +1,10 @@
-

-T8806.hs:5:6: error:

-    • Expected a constraint, but ‘Int’ has kind ‘*’

-    • In the type signature:

-        f :: Int => Int

-

-T8806.hs:8:7: error:

-    • Expected a constraint, but ‘Int’ has kind ‘*’

-    • In the type signature:

-        g :: (Int => Show a) => Int

+
+T8806.hs:5:6: error:
+    • Expected a constraint, but ‘Int’ has kind ‘*’
+    • In the type signature:
+        f :: Int => Int
+
+T8806.hs:8:7: error:
+    • Expected a constraint, but ‘Int’ has kind ‘*’
+    • In the type signature:
+        g :: (Int => Show a) => Int
diff --git a/testsuite/tests/typecheck/should_fail/T9196.stderr b/testsuite/tests/typecheck/should_fail/T9196.stderr
index 7aa06b24b9..f843c70929 100644
--- a/testsuite/tests/typecheck/should_fail/T9196.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9196.stderr
@@ -1,12 +1,12 @@
-

-T9196.hs:4:6: error:

-    • Illegal polymorphic type: forall a1. Eq a1

-      A constraint must be a monotype

-    • In the type signature:

-        f :: (forall a. Eq a) => a -> a

-

-T9196.hs:7:6: error:

-    • Illegal qualified type: Eq a => Ord a

-      A constraint must be a monotype

-    • In the type signature:

-        g :: (Eq a => Ord a) => a -> a

+
+T9196.hs:4:6: error:
+    • Illegal polymorphic type: forall a1. Eq a1
+      A constraint must be a monotype
+    • In the type signature:
+        f :: (forall a. Eq a) => a -> a
+
+T9196.hs:7:6: error:
+    • Illegal qualified type: Eq a => Ord a
+      A constraint must be a monotype
+    • In the type signature:
+        g :: (Eq a => Ord a) => a -> a
diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr
index 955ebe50fc..d15dd7bde3 100644
--- a/testsuite/tests/typecheck/should_fail/mc22.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc22.stderr
@@ -1,15 +1,15 @@
-

-mc22.hs:10:26: error:

-    • Couldn't match type ‘a’ with ‘t a’

-      ‘a’ is a rigid type variable bound by

-        a type expected by the context:

-          forall a. [a] -> [t a]

-        at mc22.hs:9:9

-      Expected type: [a] -> [t a]

-        Actual type: [t a] -> [t a]

-    • In the expression: take 5

-      In a stmt of a monad comprehension: then group using take 5

-      In the expression:

-        [x + 1 | x <- ["Hello", "World"], then group using take 5]

-    • Relevant bindings include

-        foo :: [t [Char]] (bound at mc22.hs:8:1)

+
+mc22.hs:10:26: error:
+    • Couldn't match type ‘a’ with ‘t a’
+      ‘a’ is a rigid type variable bound by
+        a type expected by the context:
+          forall a. [a] -> [t a]
+        at mc22.hs:9:9
+      Expected type: [a] -> [t a]
+        Actual type: [t a] -> [t a]
+    • In the expression: take 5
+      In a stmt of a monad comprehension: then group using take 5
+      In the expression:
+        [x + 1 | x <- ["Hello", "World"], then group using take 5]
+    • Relevant bindings include
+        foo :: [t [Char]] (bound at mc22.hs:8:1)
diff --git a/testsuite/tests/typecheck/should_fail/mc25.stderr b/testsuite/tests/typecheck/should_fail/mc25.stderr
index 7fdb6ff74c..88feec902f 100644
--- a/testsuite/tests/typecheck/should_fail/mc25.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc25.stderr
@@ -1,9 +1,9 @@
-

-mc25.hs:9:46: error:

-    • Couldn't match type ‘a -> t’ with ‘Int’

-      Expected type: (a -> t) -> [a] -> [t1 a]

-        Actual type: Int -> [t1 a] -> [t1 a]

-    • In the expression: take

-      In a stmt of a monad comprehension: then group by x using take

-      In the expression: [x | x <- [1 .. 10], then group by x using take]

-    • Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)

+
+mc25.hs:9:46: error:
+    • Couldn't match type ‘a -> t’ with ‘Int’
+      Expected type: (a -> t) -> [a] -> [t1 a]
+        Actual type: Int -> [t1 a] -> [t1 a]
+    • In the expression: take
+      In a stmt of a monad comprehension: then group by x using take
+      In the expression: [x | x <- [1 .. 10], then group by x using take]
+    • Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail011.stderr b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
index f941127e01..5b9379e074 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail011.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
@@ -1,2 +1,2 @@
-

-tcfail011.hs:3:25: error: Variable not in scope: y

+
+tcfail011.hs:3:25: error: Variable not in scope: y
diff --git a/testsuite/tests/typecheck/should_fail/tcfail021.stderr b/testsuite/tests/typecheck/should_fail/tcfail021.stderr
index 4e2d7a0a9a..03a1efc328 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail021.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail021.stderr
@@ -1,4 +1,4 @@
-

-tcfail021.hs:8:5: error:

-    Pattern bindings (except simple variables) not allowed in instance declaration:

-      ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)

+
+tcfail021.hs:8:5: error:
+    Pattern bindings (except simple variables) not allowed in instance declaration:
+      ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail037.stderr b/testsuite/tests/typecheck/should_fail/tcfail037.stderr
index eefd822973..efe7445573 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail037.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail037.stderr
@@ -1,7 +1,7 @@
-

-tcfail037.hs:7:11: error:

-    Ambiguous occurrence ‘+’

-    It could refer to either ‘Prelude.+’,

-                             imported from ‘Prelude’ at tcfail037.hs:3:8-17

-                             (and originally defined in ‘GHC.Num’)

-                          or ‘ShouldFail.+’, defined at tcfail037.hs:10:5

+
+tcfail037.hs:7:11: error:
+    Ambiguous occurrence ‘+’
+    It could refer to either ‘Prelude.+’,
+                             imported from ‘Prelude’ at tcfail037.hs:3:8-17
+                             (and originally defined in ‘GHC.Num’)
+                          or ‘ShouldFail.+’, defined at tcfail037.hs:10:5
diff --git a/testsuite/tests/typecheck/should_fail/tcfail088.stderr b/testsuite/tests/typecheck/should_fail/tcfail088.stderr
index 04081aba99..8d3e841bdf 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail088.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail088.stderr
@@ -1,4 +1,4 @@
-

-tcfail088.hs:9:19: error:

-    • Illegal polymorphic type: forall s. T s a

-    • In the instance declaration for ‘Ord (forall s. T s a)’

+
+tcfail088.hs:9:19: error:
+    • Illegal polymorphic type: forall s. T s a
+    • In the instance declaration for ‘Ord (forall s. T s a)’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail127.stderr b/testsuite/tests/typecheck/should_fail/tcfail127.stderr
index 205bed8c39..6716724860 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail127.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail127.stderr
@@ -1,6 +1,6 @@
-

-tcfail127.hs:3:8: error:

-    • Illegal qualified type: Num a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: IO (Num a => a -> a)

+
+tcfail127.hs:3:8: error:
+    • Illegal qualified type: Num a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: IO (Num a => a -> a)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail184.stderr b/testsuite/tests/typecheck/should_fail/tcfail184.stderr
index ceb057f652..930ef27e6c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail184.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail184.stderr
@@ -1,6 +1,6 @@
-

-tcfail184.hs:8:19: error:

-    • Illegal polymorphic type: forall a. Ord a => [a] -> [a]

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the definition of data constructor ‘MkSwizzle’

-      In the newtype declaration for ‘Swizzle’

+
+tcfail184.hs:8:19: error:
+    • Illegal polymorphic type: forall a. Ord a => [a] -> [a]
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the definition of data constructor ‘MkSwizzle’
+      In the newtype declaration for ‘Swizzle’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail195.stderr b/testsuite/tests/typecheck/should_fail/tcfail195.stderr
index c328b73650..1fa821fbac 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail195.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail195.stderr
@@ -1,5 +1,5 @@
-

-tcfail195.hs:6:3: error:

-    • Illegal polymorphic type: forall a. a

-    • In the definition of data constructor ‘Foo’

-      In the data type declaration for ‘Foo’

+
+tcfail195.hs:6:3: error:
+    • Illegal polymorphic type: forall a. a
+    • In the definition of data constructor ‘Foo’
+      In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail196.stderr b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
index e8cfd6bd47..57370d4014 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail196.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
@@ -1,6 +1,6 @@
-

-tcfail196.hs:5:8: error:

-    • Illegal polymorphic type: forall a. a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        bar :: Num (forall a. a) => Int -> Int

+
+tcfail196.hs:5:8: error:
+    • Illegal polymorphic type: forall a. a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        bar :: Num (forall a. a) => Int -> Int
diff --git a/testsuite/tests/typecheck/should_fail/tcfail197.stderr b/testsuite/tests/typecheck/should_fail/tcfail197.stderr
index ba8be62651..1d5f455968 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail197.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail197.stderr
@@ -1,6 +1,6 @@
-

-tcfail197.hs:5:8: error:

-    • Illegal polymorphic type: forall a. a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: [forall a. a] -> Int

+
+tcfail197.hs:5:8: error:
+    • Illegal polymorphic type: forall a. a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: [forall a. a] -> Int
diff --git a/testsuite/tests/typecheck/should_run/T1735.stdout b/testsuite/tests/typecheck/should_run/T1735.stdout
index 4df191aac2..4a584e4989 100644
--- a/testsuite/tests/typecheck/should_run/T1735.stdout
+++ b/testsuite/tests/typecheck/should_run/T1735.stdout
@@ -1 +1 @@
-Nothing

+Nothing
diff --git a/testsuite/tests/typecheck/should_run/T3500a.stdout b/testsuite/tests/typecheck/should_run/T3500a.stdout
index 78c6baefdd..0cfbf08886 100644
--- a/testsuite/tests/typecheck/should_run/T3500a.stdout
+++ b/testsuite/tests/typecheck/should_run/T3500a.stdout
@@ -1 +1 @@
-2

+2
diff --git a/testsuite/tests/typecheck/should_run/T3500b.stdout b/testsuite/tests/typecheck/should_run/T3500b.stdout
index 7acb74ffa3..c368899c8b 100644
--- a/testsuite/tests/typecheck/should_run/T3500b.stdout
+++ b/testsuite/tests/typecheck/should_run/T3500b.stdout
@@ -1 +1 @@
-"Right Left ()"

+"Right Left ()"
diff --git a/testsuite/tests/typecheck/should_run/T7023.stdout b/testsuite/tests/typecheck/should_run/T7023.stdout
index e6f42754ed..557db03de9 100644
--- a/testsuite/tests/typecheck/should_run/T7023.stdout
+++ b/testsuite/tests/typecheck/should_run/T7023.stdout
@@ -1 +1 @@
-Hello World

+Hello World
diff --git a/testsuite/tests/typecheck/should_run/tcrun032.stdout b/testsuite/tests/typecheck/should_run/tcrun032.stdout
index 9639b4b410..2d7fef8645 100644
--- a/testsuite/tests/typecheck/should_run/tcrun032.stdout
+++ b/testsuite/tests/typecheck/should_run/tcrun032.stdout
@@ -1,2 +1,2 @@
-In Nil

-True

+In Nil
+True
diff --git a/testsuite/tests/typecheck/should_run/tcrun033.stdout b/testsuite/tests/typecheck/should_run/tcrun033.stdout
index 3bd41263bf..3580093b9d 100644
--- a/testsuite/tests/typecheck/should_run/tcrun033.stdout
+++ b/testsuite/tests/typecheck/should_run/tcrun033.stdout
@@ -1 +1 @@
-"hello"

+"hello"
diff --git a/testsuite/tests/typecheck/should_run/tcrun038.stdout b/testsuite/tests/typecheck/should_run/tcrun038.stdout
index 84b19cd5a7..b4de394767 100644
--- a/testsuite/tests/typecheck/should_run/tcrun038.stdout
+++ b/testsuite/tests/typecheck/should_run/tcrun038.stdout
@@ -1 +1 @@
-11

+11
diff --git a/testsuite/tests/typecheck/should_run/tcrun039.stdout b/testsuite/tests/typecheck/should_run/tcrun039.stdout
index a13aef23d7..7f7582b486 100644
--- a/testsuite/tests/typecheck/should_run/tcrun039.stdout
+++ b/testsuite/tests/typecheck/should_run/tcrun039.stdout
@@ -1,2 +1,2 @@
-7

-[3,4,5]

+7
+[3,4,5]
diff --git a/testsuite/tests/typecheck/should_run/testeq2.stdout b/testsuite/tests/typecheck/should_run/testeq2.stdout
index 7f7d90eae7..36663cbd40 100644
--- a/testsuite/tests/typecheck/should_run/testeq2.stdout
+++ b/testsuite/tests/typecheck/should_run/testeq2.stdout
@@ -1 +1 @@
-(HTrue,HFalse)

+(HTrue,HFalse)
diff --git a/testsuite/tests/typecheck/testeq1/typecheck.testeq1.stdout b/testsuite/tests/typecheck/testeq1/typecheck.testeq1.stdout
index 7f7d90eae7..36663cbd40 100644
--- a/testsuite/tests/typecheck/testeq1/typecheck.testeq1.stdout
+++ b/testsuite/tests/typecheck/testeq1/typecheck.testeq1.stdout
@@ -1 +1 @@
-(HTrue,HFalse)

+(HTrue,HFalse)