summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--testsuite/tests/patsyn/should_fail/T9705-1.stderr8
-rw-r--r--testsuite/tests/patsyn/should_fail/T9705-2.stderr8
-rw-r--r--testsuite/tests/polykinds/T7272.hs-boot10
-rw-r--r--testsuite/tests/profiling/should_run/T5363.stdout-ws-322
-rw-r--r--testsuite/tests/quotes/T3572.stdout2
-rw-r--r--testsuite/tests/quotes/TH_ppr1.stdout28
-rw-r--r--testsuite/tests/rebindable/rebindable7.stdout2
-rw-r--r--testsuite/tests/rename/should_compile/T1972.stderr24
-rw-r--r--testsuite/tests/rename/should_compile/T5331.stderr24
-rw-r--r--testsuite/tests/rename/should_compile/T5592.stdout2
-rw-r--r--testsuite/tests/rename/should_fail/RnStaticPointersFail02.stderr6
-rw-r--r--testsuite/tests/rename/should_fail/T5372.stderr16
-rw-r--r--testsuite/tests/rename/should_fail/T5533.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/T7906.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/T9177.stderr24
-rw-r--r--testsuite/tests/rename/should_fail/T9177a.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/mc14.stderr4
-rw-r--r--testsuite/tests/rename/should_fail/rn_dup.stderr60
-rw-r--r--testsuite/tests/rename/should_fail/rnfail024.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/rnfail044.stderr14
-rw-r--r--testsuite/tests/rename/should_fail/rnfail049.stderr4
-rw-r--r--testsuite/tests/rename/should_fail/rnfail050.stderr4
-rw-r--r--testsuite/tests/rts/T10672/cxxy.cpp46
-rw-r--r--testsuite/tests/rts/derefnull.stdout-x86_64-unknown-mingw322
-rw-r--r--testsuite/tests/rts/divbyzero.stdout-x86_64-unknown-mingw322
-rw-r--r--testsuite/tests/safeHaskell/ghci/p10.stderr4
-rw-r--r--testsuite/tests/safeHaskell/ghci/p9.stderr4
-rw-r--r--testsuite/tests/simplCore/should_compile/T5996.stdout4
-rw-r--r--testsuite/tests/simplCore/should_compile/T8848a.stderr12
-rw-r--r--testsuite/tests/simplCore/should_run/T11172.stdout2
-rw-r--r--testsuite/tests/simplCore/should_run/T5441.stdout2
-rw-r--r--testsuite/tests/simplCore/should_run/T5453.stdout2
-rw-r--r--testsuite/tests/th/T2700.stderr2
-rw-r--r--testsuite/tests/th/T3920.stdout4
-rw-r--r--testsuite/tests/th/T5217.stderr28
-rw-r--r--testsuite/tests/th/T5410.stdout2
-rw-r--r--testsuite/tests/th/T7241.stderr16
-rw-r--r--testsuite/tests/th/T8625.stdout4
-rw-r--r--testsuite/tests/th/T8932.stderr10
-rw-r--r--testsuite/tests/th/TH_linePragma.stderr4
-rw-r--r--testsuite/tests/th/TH_pragma.stderr32
-rw-r--r--testsuite/tests/th/TH_viewPatPrint.stdout4
-rw-r--r--testsuite/tests/typecheck/should_compile/T11254.stderr30
-rw-r--r--testsuite/tests/typecheck/should_fail/T11355.stderr18
-rw-r--r--testsuite/tests/typecheck/should_fail/T2538.stderr36
-rw-r--r--testsuite/tests/typecheck/should_fail/T5957.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/T7019.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/T7019a.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/T7809.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/T8806.stderr20
-rw-r--r--testsuite/tests/typecheck/should_fail/T9196.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/mc22.stderr30
-rw-r--r--testsuite/tests/typecheck/should_fail/mc25.stderr18
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail011.stderr4
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail021.stderr8
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail037.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail088.stderr8
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail127.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail184.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail195.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail196.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail197.stderr12
-rw-r--r--testsuite/tests/typecheck/should_run/T1735.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/T3500a.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/T3500b.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/T7023.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/tcrun032.stdout4
-rw-r--r--testsuite/tests/typecheck/should_run/tcrun033.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/tcrun038.stdout2
-rw-r--r--testsuite/tests/typecheck/should_run/tcrun039.stdout4
-rw-r--r--testsuite/tests/typecheck/should_run/testeq2.stdout2
-rw-r--r--testsuite/tests/typecheck/testeq1/typecheck.testeq1.stdout2
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)