diff options
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) |