summaryrefslogtreecommitdiff
path: root/testsuite/tests
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests')
-rw-r--r--testsuite/tests/polykinds/T10516.stderr9
-rw-r--r--testsuite/tests/polykinds/T6054.stderr18
-rw-r--r--testsuite/tests/rename/should_fail/Misplaced.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/T2310.stderr10
-rw-r--r--testsuite/tests/rename/should_fail/T3792.stderr5
-rw-r--r--testsuite/tests/rename/should_fail/rnfail022.stderr8
-rw-r--r--testsuite/tests/rename/should_fail/rnfail047.stderr6
-rw-r--r--testsuite/tests/simplCore/should_compile/simpl020.stderr10
-rw-r--r--testsuite/tests/th/T3600.stderr6
-rw-r--r--testsuite/tests/typecheck/should_compile/T10632.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T3696.stderr6
-rw-r--r--testsuite/tests/typecheck/should_compile/T7050.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T7220a.stderr29
-rw-r--r--testsuite/tests/typecheck/should_compile/T7562.stderr10
-rw-r--r--testsuite/tests/typecheck/should_compile/T9497a.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/ContextStack2.stderr25
-rw-r--r--testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr37
-rw-r--r--testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr26
-rw-r--r--testsuite/tests/typecheck/should_fail/IPFail.stderr20
-rw-r--r--testsuite/tests/typecheck/should_fail/T10351.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/T1897a.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/T3592.stderr34
-rw-r--r--testsuite/tests/typecheck/should_fail/T3966.stderr16
-rw-r--r--testsuite/tests/typecheck/should_fail/T5051.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/T5236.stderr29
-rw-r--r--testsuite/tests/typecheck/should_fail/T6022.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/T7279.stderr21
-rw-r--r--testsuite/tests/typecheck/should_fail/T7697.stderr9
-rw-r--r--testsuite/tests/typecheck/should_fail/T8034.stderr22
-rw-r--r--testsuite/tests/typecheck/should_fail/T8392a.stderr17
-rw-r--r--testsuite/tests/typecheck/should_fail/T9497d.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/fd-loop.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail019.stderr20
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail058.stderr11
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail063.stderr11
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail067.stderr159
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail080.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail097.stderr23
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail098.stderr21
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail100.stderr8
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail101.stderr9
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail102.stderr26
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail106.stderr20
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail107.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail108.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail110.stderr11
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail116.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail125.stderr23
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail129.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail134.stderr13
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail135.stderr13
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail142.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail150.stderr16
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail154.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail155.stderr12
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail157.stderr24
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail158.stderr11
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail167.stderr16
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail171.stderr17
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail186.stderr16
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail187.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail209.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail209a.stderr11
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail213.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail214.stderr10
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail215.stderr9
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail222.stderr8
68 files changed, 613 insertions, 590 deletions
diff --git a/testsuite/tests/polykinds/T10516.stderr b/testsuite/tests/polykinds/T10516.stderr
index a6fa52471b..30c4f098e7 100644
--- a/testsuite/tests/polykinds/T10516.stderr
+++ b/testsuite/tests/polykinds/T10516.stderr
@@ -1,4 +1,5 @@
-
-T10516.hs:8:6: error:
- The type synonym ‘App’ should have 2 arguments, but has been given 1
- In the type signature: f :: f a -> X (App f) a
+
+T10516.hs:8:6: error:
+ • The type synonym ‘App’ should have 2 arguments, but has been given 1
+ • In the type signature:
+ f :: f a -> X (App f) a
diff --git a/testsuite/tests/polykinds/T6054.stderr b/testsuite/tests/polykinds/T6054.stderr
index 645db8912f..c8b39b06ad 100644
--- a/testsuite/tests/polykinds/T6054.stderr
+++ b/testsuite/tests/polykinds/T6054.stderr
@@ -1,9 +1,9 @@
-
-T6054.hs:7:14:
- No instance for (Bar '() a0)
- arising from an expression type signature
- In the first argument of ‘print’, namely
- ‘(Proxy :: Bar () a => Proxy a)’
- In the expression: print (Proxy :: Bar () a => Proxy a)
- In an equation for ‘foo’:
- foo = print (Proxy :: Bar () a => Proxy a)
+
+T6054.hs:7:14: error:
+ • No instance for (Bar '() a0)
+ arising from an expression type signature
+ • In the first argument of ‘print’, namely
+ ‘(Proxy :: Bar () a => Proxy a)’
+ In the expression: print (Proxy :: Bar () a => Proxy a)
+ In an equation for ‘foo’:
+ foo = print (Proxy :: Bar () a => Proxy a)
diff --git a/testsuite/tests/rename/should_fail/Misplaced.stderr b/testsuite/tests/rename/should_fail/Misplaced.stderr
index e51865ad81..67d845d9a5 100644
--- a/testsuite/tests/rename/should_fail/Misplaced.stderr
+++ b/testsuite/tests/rename/should_fail/Misplaced.stderr
@@ -1,4 +1,4 @@
-
-Misplaced.hs:4:1:
- Misplaced SPECIALISE instance pragma:
- {-# SPECIALIZE instance Eq (T Int) #-}
+
+Misplaced.hs:4:1: error:
+ Misplaced SPECIALISE instance pragma:
+ {-# SPECIALIZE instance Eq (T Int) #-}
diff --git a/testsuite/tests/rename/should_fail/T2310.stderr b/testsuite/tests/rename/should_fail/T2310.stderr
index 5e9e6ba59a..1ac633f290 100644
--- a/testsuite/tests/rename/should_fail/T2310.stderr
+++ b/testsuite/tests/rename/should_fail/T2310.stderr
@@ -1,5 +1,5 @@
-
-T2310.hs:5:41: error:
- Variable not in scope: co
- Perhaps you meant one of these:
- ‘c’ (line 5), ‘cos’ (imported from Prelude)
+
+T2310.hs:5:41: error:
+ • Variable not in scope: co
+ • Perhaps you meant one of these:
+ ‘c’ (line 5), ‘cos’ (imported from Prelude)
diff --git a/testsuite/tests/rename/should_fail/T3792.stderr b/testsuite/tests/rename/should_fail/T3792.stderr
index 892fb11083..964ea2ea8b 100644
--- a/testsuite/tests/rename/should_fail/T3792.stderr
+++ b/testsuite/tests/rename/should_fail/T3792.stderr
@@ -1,2 +1,3 @@
-
-T3792.hs:3:17: Illegal qualified name in import item: Prelude.map
+
+T3792.hs:3:17: error:
+ Illegal qualified name in import item: Prelude.map
diff --git a/testsuite/tests/rename/should_fail/rnfail022.stderr b/testsuite/tests/rename/should_fail/rnfail022.stderr
index 8ca03df4e7..c27e6130f9 100644
--- a/testsuite/tests/rename/should_fail/rnfail022.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail022.stderr
@@ -1,4 +1,4 @@
-
-rnfail022.hs:8:5: error:
- Variable not in scope: intersperse
- Perhaps you meant ‘L.intersperse’ (imported from Data.List)
+
+rnfail022.hs:8:5: error:
+ • Variable not in scope: intersperse
+ • Perhaps you meant ‘L.intersperse’ (imported from Data.List)
diff --git a/testsuite/tests/rename/should_fail/rnfail047.stderr b/testsuite/tests/rename/should_fail/rnfail047.stderr
index f62870e0c3..8f7304aa59 100644
--- a/testsuite/tests/rename/should_fail/rnfail047.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail047.stderr
@@ -1,3 +1,3 @@
-
-RnFail047_A.hs-boot:5:1:
- ‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module
+
+RnFail047_A.hs-boot:5:1: error:
+ ‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module
diff --git a/testsuite/tests/simplCore/should_compile/simpl020.stderr b/testsuite/tests/simplCore/should_compile/simpl020.stderr
index fbf8da1a5d..b21a41267c 100644
--- a/testsuite/tests/simplCore/should_compile/simpl020.stderr
+++ b/testsuite/tests/simplCore/should_compile/simpl020.stderr
@@ -1,5 +1,5 @@
-
-Simpl020_A.hs:26:10: Warning:
- No explicit implementation for
- ‘toGUIObject’ and ‘cset’
- In the instance declaration for ‘GUIObject ()’
+
+Simpl020_A.hs:26:10: warning:
+ • No explicit implementation for
+ ‘toGUIObject’ and ‘cset’
+ • In the instance declaration for ‘GUIObject ()’
diff --git a/testsuite/tests/th/T3600.stderr b/testsuite/tests/th/T3600.stderr
index 615be3ba25..4f63ef191a 100644
--- a/testsuite/tests/th/T3600.stderr
+++ b/testsuite/tests/th/T3600.stderr
@@ -1,4 +1,2 @@
-T3600.hs:5:3-6: Splicing declarations
- test
- ======>
- myFunction = (testFun1 [], testFun2 [], testFun2 "x")
+T3600.hs:5:3-6: Splicing declarations
+ test ======> myFunction = (testFun1 [], testFun2 [], testFun2 "x")
diff --git a/testsuite/tests/typecheck/should_compile/T10632.stderr b/testsuite/tests/typecheck/should_compile/T10632.stderr
index 5a6809de5c..8e72f42971 100644
--- a/testsuite/tests/typecheck/should_compile/T10632.stderr
+++ b/testsuite/tests/typecheck/should_compile/T10632.stderr
@@ -1,5 +1,5 @@
-
-T10632.hs:3:1: warning:
- Redundant constraint: ?file1::String
- In the type signature for:
- f :: (?file1::String) => IO ()
+
+T10632.hs:3:1: warning:
+ • Redundant constraint: ?file1::String
+ • In the type signature for:
+ f :: (?file1::String) => IO ()
diff --git a/testsuite/tests/typecheck/should_compile/T3696.stderr b/testsuite/tests/typecheck/should_compile/T3696.stderr
index 1784e53511..06229b8fa3 100644
--- a/testsuite/tests/typecheck/should_compile/T3696.stderr
+++ b/testsuite/tests/typecheck/should_compile/T3696.stderr
@@ -1,3 +1,3 @@
-
-T3696.hs:9:1:
- Warning: Top-level binding with no type signature: def :: Int
+
+T3696.hs:9:1: warning:
+ Top-level binding with no type signature: def :: Int
diff --git a/testsuite/tests/typecheck/should_compile/T7050.stderr b/testsuite/tests/typecheck/should_compile/T7050.stderr
index 8a2f9f97e4..e115954bc8 100644
--- a/testsuite/tests/typecheck/should_compile/T7050.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7050.stderr
@@ -1,5 +1,5 @@
-
-T7050.hs:3:14: warning:
- Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
- In the definition of data constructor ‘Foo’
- In the data type declaration for ‘Foo’
+
+T7050.hs:3:14: warning:
+ • Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
+ • In the definition of data constructor ‘Foo’
+ In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr
index b728a1e8d9..6e25e7a8f1 100644
--- a/testsuite/tests/typecheck/should_compile/T7220a.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr
@@ -1,14 +1,15 @@
-
-T7220a.hs:17:6: error:
- Could not deduce (C a b)
- from the context: (C a0 b, TF b ~ Y)
- bound by the type signature for:
- f :: (C a0 b, TF b ~ Y) => b
- at T7220a.hs:17:6-44
- Possible fix:
- add (C a b) to the context of
- the type signature for:
- f :: (C a0 b, TF b ~ Y) => b
- In the ambiguity check for ‘f’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X
+
+T7220a.hs:17:6: error:
+ • Could not deduce (C a b)
+ from the context: (C a0 b, TF b ~ Y)
+ bound by the type signature for:
+ f :: (C a0 b, TF b ~ Y) => b
+ at T7220a.hs:17:6-44
+ Possible fix:
+ add (C a b) to the context of
+ the type signature for:
+ f :: (C a0 b, TF b ~ Y) => b
+ • In the ambiguity check for ‘f’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ f :: (forall b. (C a b, TF b ~ Y) => b) -> X
diff --git a/testsuite/tests/typecheck/should_compile/T7562.stderr b/testsuite/tests/typecheck/should_compile/T7562.stderr
index 448327f996..9c1b846b91 100644
--- a/testsuite/tests/typecheck/should_compile/T7562.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7562.stderr
@@ -1,5 +1,5 @@
-
-T7562.hs:3:14: warning:
- UNPACK pragma lacks '!' on the first argument of ‘Pair2’
- In the definition of data constructor ‘Pair2’
- In the data type declaration for ‘Pair2’
+
+T7562.hs:3:14: warning:
+ • UNPACK pragma lacks '!' on the first argument of ‘Pair2’
+ • In the definition of data constructor ‘Pair2’
+ In the data type declaration for ‘Pair2’
diff --git a/testsuite/tests/typecheck/should_compile/T9497a.stderr b/testsuite/tests/typecheck/should_compile/T9497a.stderr
index 3982616412..ca22451023 100644
--- a/testsuite/tests/typecheck/should_compile/T9497a.stderr
+++ b/testsuite/tests/typecheck/should_compile/T9497a.stderr
@@ -1,7 +1,7 @@
-
-T9497a.hs:2:8: warning:
- Found hole: _main :: IO ()
- Or perhaps ‘_main’ is mis-spelled, or not in scope
- In the expression: _main
- In an equation for ‘main’: main = _main
- Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
+
+T9497a.hs:2:8: warning:
+ • Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ • In the expression: _main
+ In an equation for ‘main’: main = _main
+ • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
diff --git a/testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr b/testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr
index 660d081ca3..07812dc5fa 100644
--- a/testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr
+++ b/testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr
@@ -1,5 +1,5 @@
-
-AssocTyDef05.hs:6:5:
- Number of parameters must match family declaration; expected 1
- In the default type instance declaration for ‘Typ’
- In the class declaration for ‘Cls’
+
+AssocTyDef05.hs:6:5: error:
+ • Number of parameters must match family declaration; expected 1
+ • In the default type instance declaration for ‘Typ’
+ In the class declaration for ‘Cls’
diff --git a/testsuite/tests/typecheck/should_fail/ContextStack2.stderr b/testsuite/tests/typecheck/should_fail/ContextStack2.stderr
index 4c92698f02..f76d1f486c 100644
--- a/testsuite/tests/typecheck/should_fail/ContextStack2.stderr
+++ b/testsuite/tests/typecheck/should_fail/ContextStack2.stderr
@@ -1,12 +1,13 @@
-
-ContextStack2.hs:8:6: error:
- Reduction stack overflow; size = 11
- When simplifying the following type:
- TF (TF (TF (TF (TF a))))
- ~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))
- Use -freduction-depth=0 to disable this check
- (any upper bound you could choose might fail unpredictably with
- minor updates to GHC, so disabling the check is recommended if
- you're sure that type checking should terminate)
- In the ambiguity check for ‘t’
- In the type signature: t :: (a ~ TF (a, Int)) => Int
+
+ContextStack2.hs:8:6: error:
+ • Reduction stack overflow; size = 11
+ When simplifying the following type:
+ TF (TF (TF (TF (TF a))))
+ ~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))
+ Use -freduction-depth=0 to disable this check
+ (any upper bound you could choose might fail unpredictably with
+ minor updates to GHC, so disabling the check is recommended if
+ you're sure that type checking should terminate)
+ • In the ambiguity check for ‘t’
+ In the type signature:
+ t :: (a ~ TF (a, Int)) => Int
diff --git a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
index a2cab99ae9..5d137aa3d1 100644
--- a/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
+++ b/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
@@ -1,18 +1,19 @@
-
-FDsFromGivens.hs:9:7: error:
- Couldn't match type ‘[a]’ with ‘Bool’
- arising from a functional dependency between constraints:
- ‘C Char Bool’
- arising from the type signature for:
- g1 :: (C Char [a], C Char Bool) => a -> ()
- at FDsFromGivens.hs:9:7-42
- ‘C Char [a]’
- arising from the type signature for:
- g1 :: (C Char [a], C Char Bool) => a -> ()
- at FDsFromGivens.hs:9:7-42
- Inaccessible code in
- the type signature for:
- g1 :: (C Char [a], C Char Bool) => a -> ()
- In the ambiguity check for ‘g1’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature: g1 :: (C Char [a], C Char Bool) => a -> ()
+
+FDsFromGivens.hs:9:7: error:
+ • Couldn't match type ‘[a]’ with ‘Bool’
+ arising from a functional dependency between constraints:
+ ‘C Char Bool’
+ arising from the type signature for:
+ g1 :: (C Char [a], C Char Bool) => a -> ()
+ at FDsFromGivens.hs:9:7-42
+ ‘C Char [a]’
+ arising from the type signature for:
+ g1 :: (C Char [a], C Char Bool) => a -> ()
+ at FDsFromGivens.hs:9:7-42
+ Inaccessible code in
+ the type signature for:
+ g1 :: (C Char [a], C Char Bool) => a -> ()
+ • In the ambiguity check for ‘g1’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ g1 :: (C Char [a], C Char Bool) => a -> ()
diff --git a/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
index b9a2629e32..f30ceecff9 100644
--- a/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
+++ b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
@@ -1,13 +1,13 @@
-
-FailDueToGivenOverlapping.hs:27:9: error:
- Overlapping instances for E [t0] arising from a use of ‘eop’
- Matching givens (or their superclasses):
- E [Int]
- bound by the type signature for:
- bar :: E [Int] => () -> ()
- at FailDueToGivenOverlapping.hs:26:1-26
- Matching instances:
- instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
- (The choice depends on the instantiation of ‘t0’)
- In the expression: eop [undefined]
- In an equation for ‘bar’: bar _ = eop [undefined]
+
+FailDueToGivenOverlapping.hs:27:9: error:
+ • Overlapping instances for E [t0] arising from a use of ‘eop’
+ Matching givens (or their superclasses):
+ E [Int]
+ bound by the type signature for:
+ bar :: E [Int] => () -> ()
+ at FailDueToGivenOverlapping.hs:26:1-26
+ Matching instances:
+ instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
+ (The choice depends on the instantiation of ‘t0’)
+ • In the expression: eop [undefined]
+ In an equation for ‘bar’: bar _ = eop [undefined]
diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr
index 59aac31632..72c11b0c0d 100644
--- a/testsuite/tests/typecheck/should_fail/IPFail.stderr
+++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr
@@ -1,10 +1,10 @@
-
-IPFail.hs:6:18: error:
- Could not deduce (Num Bool) arising from the literal ‘5’
- from the context: ?x::Int
- bound by the type signature for:
- f0 :: (?x::Int) => () -> Bool
- at IPFail.hs:5:1-31
- In the expression: 5
- In the expression: let ?x = 5 in ?x
- In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
+
+IPFail.hs:6:18: error:
+ • Could not deduce (Num Bool) arising from the literal ‘5’
+ from the context: ?x::Int
+ bound by the type signature for:
+ f0 :: (?x::Int) => () -> Bool
+ at IPFail.hs:5:1-31
+ • In the expression: 5
+ In the expression: let ?x = 5 in ?x
+ In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
diff --git a/testsuite/tests/typecheck/should_fail/T10351.stderr b/testsuite/tests/typecheck/should_fail/T10351.stderr
index 4a9e38eb3e..b6a16d3723 100644
--- a/testsuite/tests/typecheck/should_fail/T10351.stderr
+++ b/testsuite/tests/typecheck/should_fail/T10351.stderr
@@ -1,6 +1,6 @@
-
-T10351.hs:6:1: error:
- Non type-variable argument in the constraint: C [t]
- (Use FlexibleContexts to permit this)
- When checking the inferred type
- f :: forall t. C [t] => t -> ()
+
+T10351.hs:6:1: error:
+ • Non type-variable argument in the constraint: C [t]
+ (Use FlexibleContexts to permit this)
+ • When checking the inferred type
+ f :: forall t. C [t] => t -> ()
diff --git a/testsuite/tests/typecheck/should_fail/T1897a.stderr b/testsuite/tests/typecheck/should_fail/T1897a.stderr
index 101caab6e7..e188a55598 100644
--- a/testsuite/tests/typecheck/should_fail/T1897a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T1897a.stderr
@@ -1,12 +1,12 @@
-
-T1897a.hs:9:1: error:
- Could not deduce (Wob a0 b)
- from the context: Wob a b
- bound by the inferred type for ‘foo’:
- Wob a b => b -> [b]
- at T1897a.hs:9:1-24
- The type variable ‘a0’ is ambiguous
- In the ambiguity check for the inferred type for ‘foo’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the inferred type
- foo :: forall a b. Wob a b => b -> [b]
+
+T1897a.hs:9:1: error:
+ • Could not deduce (Wob a0 b)
+ from the context: Wob a b
+ bound by the inferred type for ‘foo’:
+ Wob a b => b -> [b]
+ at T1897a.hs:9:1-24
+ The type variable ‘a0’ is ambiguous
+ • In the ambiguity check for the inferred type for ‘foo’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the inferred type
+ foo :: forall a b. Wob a b => b -> [b]
diff --git a/testsuite/tests/typecheck/should_fail/T3592.stderr b/testsuite/tests/typecheck/should_fail/T3592.stderr
index e55b693b15..7fe7f6d115 100644
--- a/testsuite/tests/typecheck/should_fail/T3592.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3592.stderr
@@ -1,16 +1,18 @@
-
-T3592.hs:8:5:
- No instance for (Show a) arising from a use of ‘show’
- Possible fix:
- add (Show a) to the context of
- the type signature for: f :: T a -> String
- In the expression: show
- In an equation for ‘f’: f = show
-
-T3592.hs:11:7:
- No instance for (Show a) arising from a use of ‘show’
- Possible fix:
- add (Show a) to the context of
- the type signature for: g :: T a -> String
- In the expression: show x
- In an equation for ‘g’: g x = show x
+
+T3592.hs:8:5: error:
+ • No instance for (Show a) arising from a use of ‘show’
+ Possible fix:
+ add (Show a) to the context of
+ the type signature for:
+ f :: T a -> String
+ • In the expression: show
+ In an equation for ‘f’: f = show
+
+T3592.hs:11:7: error:
+ • No instance for (Show a) arising from a use of ‘show’
+ Possible fix:
+ add (Show a) to the context of
+ the type signature for:
+ g :: T a -> String
+ • In the expression: show x
+ In an equation for ‘g’: g x = show x
diff --git a/testsuite/tests/typecheck/should_fail/T3966.stderr b/testsuite/tests/typecheck/should_fail/T3966.stderr
index a76ede1185..f79574696b 100644
--- a/testsuite/tests/typecheck/should_fail/T3966.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3966.stderr
@@ -1,8 +1,8 @@
-
-T3966.hs:5:16: warning:
- Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
- In the definition of data constructor ‘Foo’
- In the data type declaration for ‘Foo’
-
-<no location info>: error:
-Failing due to -Werror.
+
+T3966.hs:5:16: warning:
+ • Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
+ • In the definition of data constructor ‘Foo’
+ In the data type declaration for ‘Foo’
+
+<no location info>: error:
+Failing due to -Werror.
diff --git a/testsuite/tests/typecheck/should_fail/T5051.stderr b/testsuite/tests/typecheck/should_fail/T5051.stderr
index c436ab0e48..2ad01e86ba 100644
--- a/testsuite/tests/typecheck/should_fail/T5051.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5051.stderr
@@ -1,5 +1,5 @@
-
-T5051.hs:8:30: Warning:
- No explicit implementation for
- either ‘==’ or ‘/=’
- In the instance declaration for ‘Eq [T]’
+
+T5051.hs:8:30: warning:
+ • No explicit implementation for
+ either ‘==’ or ‘/=’
+ • In the instance declaration for ‘Eq [T]’
diff --git a/testsuite/tests/typecheck/should_fail/T5236.stderr b/testsuite/tests/typecheck/should_fail/T5236.stderr
index 825218c926..4a21aba79d 100644
--- a/testsuite/tests/typecheck/should_fail/T5236.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5236.stderr
@@ -1,14 +1,15 @@
-
-T5236.hs:13:9: error:
- Couldn't match type ‘B’ with ‘A’
- arising from a functional dependency between:
- constraint ‘Id A B’
- arising from the type signature for:
- loop :: Id A B => Bool
- instance ‘Id B B’ at T5236.hs:11:10-15
- Inaccessible code in
- the type signature for:
- loop :: Id A B => Bool
- In the ambiguity check for ‘loop’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature: loop :: Id A B => Bool
+
+T5236.hs:13:9: error:
+ • Couldn't match type ‘B’ with ‘A’
+ arising from a functional dependency between:
+ constraint ‘Id A B’
+ arising from the type signature for:
+ loop :: Id A B => Bool
+ instance ‘Id B B’ at T5236.hs:11:10-15
+ Inaccessible code in
+ the type signature for:
+ loop :: Id A B => Bool
+ • In the ambiguity check for ‘loop’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ loop :: Id A B => Bool
diff --git a/testsuite/tests/typecheck/should_fail/T6022.stderr b/testsuite/tests/typecheck/should_fail/T6022.stderr
index 61d44b2497..e690095665 100644
--- a/testsuite/tests/typecheck/should_fail/T6022.stderr
+++ b/testsuite/tests/typecheck/should_fail/T6022.stderr
@@ -1,6 +1,6 @@
-
-T6022.hs:3:1: error:
- Non type-variable argument in the constraint: Eq ([a] -> a)
- (Use FlexibleContexts to permit this)
- When checking the inferred type
- f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
+
+T6022.hs:3:1: error:
+ • Non type-variable argument in the constraint: Eq ([a] -> a)
+ (Use FlexibleContexts to permit this)
+ • When checking the inferred type
+ f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
diff --git a/testsuite/tests/typecheck/should_fail/T7279.stderr b/testsuite/tests/typecheck/should_fail/T7279.stderr
index ca30f48069..1825bca574 100644
--- a/testsuite/tests/typecheck/should_fail/T7279.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7279.stderr
@@ -1,10 +1,11 @@
-
-T7279.hs:6:10: error:
- Could not deduce (Show b0)
- from the context: (Eq a, Show b)
- bound by an instance declaration: (Eq a, Show b) => Eq (T a)
- at T7279.hs:6:10-35
- The type variable ‘b0’ is ambiguous
- In the ambiguity check for an instance declaration
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the instance declaration for ‘Eq (T a)’
+
+T7279.hs:6:10: error:
+ • Could not deduce (Show b0)
+ from the context: (Eq a, Show b)
+ bound by an instance declaration:
+ (Eq a, Show b) => Eq (T a)
+ at T7279.hs:6:10-35
+ The type variable ‘b0’ is ambiguous
+ • In the ambiguity check for an instance declaration
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the instance declaration for ‘Eq (T a)’
diff --git a/testsuite/tests/typecheck/should_fail/T7697.stderr b/testsuite/tests/typecheck/should_fail/T7697.stderr
index 47d8336588..b4ac7a9642 100644
--- a/testsuite/tests/typecheck/should_fail/T7697.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7697.stderr
@@ -1,4 +1,5 @@
-
-T7697.hs:3:6: error:
- Expected a constraint, but ‘Int’ has kind ‘*’
- In the type signature: f :: Int => Int
+
+T7697.hs:3:6: error:
+ • Expected a constraint, but ‘Int’ has kind ‘*’
+ • In the type signature:
+ f :: Int => Int
diff --git a/testsuite/tests/typecheck/should_fail/T8034.stderr b/testsuite/tests/typecheck/should_fail/T8034.stderr
index 77a60294ce..1a2b1f7791 100644
--- a/testsuite/tests/typecheck/should_fail/T8034.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8034.stderr
@@ -1,11 +1,11 @@
-
-T8034.hs:6:3: error:
- Couldn't match type ‘F a0’ with ‘F a’
- NB: ‘F’ is a type function, and may not be injective
- The type variable ‘a0’ is ambiguous
- Expected type: F a -> F a
- Actual type: F a0 -> F a0
- In the ambiguity check for ‘foo’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the class method: foo :: forall a. C a => F a -> F a
- In the class declaration for ‘C’
+
+T8034.hs:6:3: error:
+ • Couldn't match type ‘F a0’ with ‘F a’
+ NB: ‘F’ is a type function, and may not be injective
+ The type variable ‘a0’ is ambiguous
+ Expected type: F a -> F a
+ Actual type: F a0 -> F a0
+ • In the ambiguity check for ‘foo’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the class method: foo :: forall a. C a => F a -> F a
+ In the class declaration for ‘C’
diff --git a/testsuite/tests/typecheck/should_fail/T8392a.stderr b/testsuite/tests/typecheck/should_fail/T8392a.stderr
index 6795d9bd94..ba2c5e4604 100644
--- a/testsuite/tests/typecheck/should_fail/T8392a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8392a.stderr
@@ -1,8 +1,9 @@
-
-T8392a.hs:6:8: error:
- Couldn't match type ‘Int’ with ‘Bool’
- Inaccessible code in
- the type signature for:
- foo :: (Int ~ Bool) => a -> a
- In the ambiguity check for ‘foo’
- In the type signature: foo :: (Int ~ Bool) => a -> a
+
+T8392a.hs:6:8: error:
+ • Couldn't match type ‘Int’ with ‘Bool’
+ Inaccessible code in
+ the type signature for:
+ foo :: (Int ~ Bool) => a -> a
+ • In the ambiguity check for ‘foo’
+ In the type signature:
+ foo :: (Int ~ Bool) => a -> a
diff --git a/testsuite/tests/typecheck/should_fail/T9497d.stderr b/testsuite/tests/typecheck/should_fail/T9497d.stderr
index 1e99f97ea1..46121be1c1 100644
--- a/testsuite/tests/typecheck/should_fail/T9497d.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9497d.stderr
@@ -1,7 +1,7 @@
-
-T9497d.hs:2:8: error:
- Found hole: _main :: IO ()
- Or perhaps ‘_main’ is mis-spelled, or not in scope
- In the expression: _main
- In an equation for ‘main’: main = _main
- Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
+
+T9497d.hs:2:8: error:
+ • Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ • In the expression: _main
+ In an equation for ‘main’: main = _main
+ • Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
diff --git a/testsuite/tests/typecheck/should_fail/fd-loop.stderr b/testsuite/tests/typecheck/should_fail/fd-loop.stderr
index 44a0618181..f0f11f58c1 100644
--- a/testsuite/tests/typecheck/should_fail/fd-loop.stderr
+++ b/testsuite/tests/typecheck/should_fail/fd-loop.stderr
@@ -1,12 +1,12 @@
-
-fd-loop.hs:12:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘C a b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Eq (T a)’
-
-fd-loop.hs:12:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘Eq b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Eq (T a)’
+
+fd-loop.hs:12:10: error:
+ • Variable ‘b’ occurs more often
+ in the constraint ‘C a b’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Eq (T a)’
+
+fd-loop.hs:12:10: error:
+ • Variable ‘b’ occurs more often
+ in the constraint ‘Eq b’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Eq (T a)’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail019.stderr b/testsuite/tests/typecheck/should_fail/tcfail019.stderr
index 2e3b7f1c0f..6839c7b53d 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail019.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail019.stderr
@@ -1,10 +1,10 @@
-
-tcfail019.hs:18:10:
- No instance for (B [a])
- arising from the superclasses of an instance declaration
- In the instance declaration for ‘D [a]’
-
-tcfail019.hs:18:10:
- No instance for (C [a])
- arising from the superclasses of an instance declaration
- In the instance declaration for ‘D [a]’
+
+tcfail019.hs:18:10: error:
+ • No instance for (B [a])
+ arising from the superclasses of an instance declaration
+ • In the instance declaration for ‘D [a]’
+
+tcfail019.hs:18:10: error:
+ • No instance for (C [a])
+ arising from the superclasses of an instance declaration
+ • In the instance declaration for ‘D [a]’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail058.stderr b/testsuite/tests/typecheck/should_fail/tcfail058.stderr
index 6fcd4ea85d..478aa7f467 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail058.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail058.stderr
@@ -1,5 +1,6 @@
-
-tcfail058.hs:6:7: error:
- Expecting one more argument to ‘Array a’
- Expected a constraint, but ‘Array a’ has kind ‘* -> *’
- In the type signature: f :: (Array a) => a -> b
+
+tcfail058.hs:6:7: error:
+ • Expecting one more argument to ‘Array a’
+ Expected a constraint, but ‘Array a’ has kind ‘* -> *’
+ • In the type signature:
+ f :: (Array a) => a -> b
diff --git a/testsuite/tests/typecheck/should_fail/tcfail063.stderr b/testsuite/tests/typecheck/should_fail/tcfail063.stderr
index d4185fe5aa..935390e436 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail063.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail063.stderr
@@ -1,5 +1,6 @@
-
-tcfail063.hs:6:9: error:
- Expecting one more argument to ‘Num’
- Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
- In the type signature: moby :: Num => Int -> a -> Int
+
+tcfail063.hs:6:9: error:
+ • Expecting one more argument to ‘Num’
+ Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
+ • In the type signature:
+ moby :: Num => Int -> a -> Int
diff --git a/testsuite/tests/typecheck/should_fail/tcfail067.stderr b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
index 0095d757d5..df7e0248c9 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail067.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail067.stderr
@@ -1,79 +1,80 @@
-
-tcfail067.hs:1:14: warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-tcfail067.hs:12:16: error:
- No instance for (Ord a) arising from a use of ‘SubRange’
- Possible fix:
- add (Ord a) to the context of
- the type signature for:
- subRangeValue :: SubRange a -> a
- In the pattern: SubRange (lower, upper) value
- In an equation for ‘subRangeValue’:
- subRangeValue (SubRange (lower, upper) value) = value
-
-tcfail067.hs:15:11: error:
- No instance for (Ord a) arising from a use of ‘SubRange’
- Possible fix:
- add (Ord a) to the context of
- the type signature for:
- subRange :: SubRange a -> (a, a)
- In the pattern: SubRange r value
- In an equation for ‘subRange’: subRange (SubRange r value) = r
-
-tcfail067.hs:46:12: error:
- Could not deduce (Ord a) arising from a use of ‘SubRange’
- from the context: Show a
- bound by the type signature for:
- showRange :: Show a => SubRange a -> String
- at tcfail067.hs:45:1-43
- Possible fix:
- add (Ord a) to the context of
- the type signature for:
- showRange :: Show a => SubRange a -> String
- In the pattern: SubRange (lower, upper) value
- In an equation for ‘showRange’:
- showRange (SubRange (lower, upper) value)
- = show value ++ " :" ++ show lower ++ ".." ++ show upper
-
-tcfail067.hs:61:12: error:
- Could not deduce (Ord a) arising from a use of ‘numSubRangeNegate’
- from the context: Num a
- bound by the instance declaration at tcfail067.hs:60:10-34
- Possible fix:
- add (Ord a) to the context of the instance declaration
- In the expression: numSubRangeNegate
- In an equation for ‘negate’: negate = numSubRangeNegate
- In the instance declaration for ‘Num (SubRange a)’
-
-tcfail067.hs:65:19: error:
- Could not deduce (Ord a) arising from a use of ‘SubRange’
- from the context: Num a
- bound by the instance declaration at tcfail067.hs:60:10-34
- Possible fix:
- add (Ord a) to the context of the instance declaration
- In the expression:
- SubRange (fromInteger a, fromInteger a) (fromInteger a)
- In an equation for ‘fromInteger’:
- fromInteger a
- = SubRange (fromInteger a, fromInteger a) (fromInteger a)
- In the instance declaration for ‘Num (SubRange a)’
-
-tcfail067.hs:74:5: error:
- Could not deduce (Ord a) arising from a use of ‘SubRange’
- from the context: Num a
- bound by the type signature for:
- numSubRangeBinOp :: Num a =>
- (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
- at tcfail067.hs:(71,1)-(72,58)
- Possible fix:
- add (Ord a) to the context of
- the type signature for:
- numSubRangeBinOp :: Num a =>
- (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
- In the expression: SubRange (result, result) result
- In an equation for ‘numSubRangeBinOp’:
- numSubRangeBinOp op a b
- = SubRange (result, result) result
- where
- result = (subRangeValue a) `op` (subRangeValue b)
+
+tcfail067.hs:1:14: warning:
+ -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail067.hs:12:16: error:
+ • No instance for (Ord a) arising from a use of ‘SubRange’
+ Possible fix:
+ add (Ord a) to the context of
+ the type signature for:
+ subRangeValue :: SubRange a -> a
+ • In the pattern: SubRange (lower, upper) value
+ In an equation for ‘subRangeValue’:
+ subRangeValue (SubRange (lower, upper) value) = value
+
+tcfail067.hs:15:11: error:
+ • No instance for (Ord a) arising from a use of ‘SubRange’
+ Possible fix:
+ add (Ord a) to the context of
+ the type signature for:
+ subRange :: SubRange a -> (a, a)
+ • In the pattern: SubRange r value
+ In an equation for ‘subRange’: subRange (SubRange r value) = r
+
+tcfail067.hs:46:12: error:
+ • Could not deduce (Ord a) arising from a use of ‘SubRange’
+ from the context: Show a
+ bound by the type signature for:
+ showRange :: Show a => SubRange a -> String
+ at tcfail067.hs:45:1-43
+ Possible fix:
+ add (Ord a) to the context of
+ the type signature for:
+ showRange :: Show a => SubRange a -> String
+ • In the pattern: SubRange (lower, upper) value
+ In an equation for ‘showRange’:
+ showRange (SubRange (lower, upper) value)
+ = show value ++ " :" ++ show lower ++ ".." ++ show upper
+
+tcfail067.hs:61:12: error:
+ • Could not deduce (Ord a)
+ arising from a use of ‘numSubRangeNegate’
+ from the context: Num a
+ bound by the instance declaration at tcfail067.hs:60:10-34
+ Possible fix:
+ add (Ord a) to the context of the instance declaration
+ • In the expression: numSubRangeNegate
+ In an equation for ‘negate’: negate = numSubRangeNegate
+ In the instance declaration for ‘Num (SubRange a)’
+
+tcfail067.hs:65:19: error:
+ • Could not deduce (Ord a) arising from a use of ‘SubRange’
+ from the context: Num a
+ bound by the instance declaration at tcfail067.hs:60:10-34
+ Possible fix:
+ add (Ord a) to the context of the instance declaration
+ • In the expression:
+ SubRange (fromInteger a, fromInteger a) (fromInteger a)
+ In an equation for ‘fromInteger’:
+ fromInteger a
+ = SubRange (fromInteger a, fromInteger a) (fromInteger a)
+ In the instance declaration for ‘Num (SubRange a)’
+
+tcfail067.hs:74:5: error:
+ • Could not deduce (Ord a) arising from a use of ‘SubRange’
+ from the context: Num a
+ bound by the type signature for:
+ numSubRangeBinOp :: Num a =>
+ (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+ at tcfail067.hs:(71,1)-(72,58)
+ Possible fix:
+ add (Ord a) to the context of
+ the type signature for:
+ numSubRangeBinOp :: Num a =>
+ (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+ • In the expression: SubRange (result, result) result
+ In an equation for ‘numSubRangeBinOp’:
+ numSubRangeBinOp op a b
+ = SubRange (result, result) result
+ where
+ result = (subRangeValue a) `op` (subRangeValue b)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail080.stderr b/testsuite/tests/typecheck/should_fail/tcfail080.stderr
index 21ca3aa8a6..68e120232e 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail080.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail080.stderr
@@ -1,12 +1,12 @@
-
-tcfail080.hs:27:1: error:
- Could not deduce (Collection c0 a)
- from the context: Collection c a
- bound by the inferred type for ‘q’:
- Collection c a => a -> Bool
- at tcfail080.hs:27:1-27
- The type variable ‘c0’ is ambiguous
- In the ambiguity check for the inferred type for ‘q’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the inferred type
- q :: forall (c :: * -> *) a. Collection c a => a -> Bool
+
+tcfail080.hs:27:1: error:
+ • Could not deduce (Collection c0 a)
+ from the context: Collection c a
+ bound by the inferred type for ‘q’:
+ Collection c a => a -> Bool
+ at tcfail080.hs:27:1-27
+ The type variable ‘c0’ is ambiguous
+ • In the ambiguity check for the inferred type for ‘q’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the inferred type
+ q :: forall (c :: * -> *) a. Collection c a => a -> Bool
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
index 9fbd7c4d87..f5940edaf2 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
@@ -1,11 +1,12 @@
-
-tcfail097.hs:5:6: error:
- Could not deduce (Eq a0)
- from the context: Eq a
- bound by the type signature for:
- f :: Eq a => Int -> Int
- at tcfail097.hs:5:6-23
- The type variable ‘a0’ is ambiguous
- In the ambiguity check for ‘f’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature: f :: Eq a => Int -> Int
+
+tcfail097.hs:5:6: error:
+ • Could not deduce (Eq a0)
+ from the context: Eq a
+ bound by the type signature for:
+ f :: Eq a => Int -> Int
+ at tcfail097.hs:5:6-23
+ The type variable ‘a0’ is ambiguous
+ • In the ambiguity check for ‘f’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ f :: Eq a => Int -> Int
diff --git a/testsuite/tests/typecheck/should_fail/tcfail098.stderr b/testsuite/tests/typecheck/should_fail/tcfail098.stderr
index 0b2baf0f51..bc59975806 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail098.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail098.stderr
@@ -1,10 +1,11 @@
-
-tcfail098.hs:12:10: error:
- Could not deduce (Bar a0)
- from the context: Bar a
- bound by an instance declaration: Bar a => Bar Bool
- at tcfail098.hs:12:10-26
- The type variable ‘a0’ is ambiguous
- In the ambiguity check for an instance declaration
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the instance declaration for ‘Bar Bool’
+
+tcfail098.hs:12:10: error:
+ • Could not deduce (Bar a0)
+ from the context: Bar a
+ bound by an instance declaration:
+ Bar a => Bar Bool
+ at tcfail098.hs:12:10-26
+ The type variable ‘a0’ is ambiguous
+ • In the ambiguity check for an instance declaration
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the instance declaration for ‘Bar Bool’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail100.stderr b/testsuite/tests/typecheck/should_fail/tcfail100.stderr
index 6ed4a4745f..740875485c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail100.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail100.stderr
@@ -1,4 +1,4 @@
-
-tcfail100.hs:7:1: error:
- The type synonym ‘A’ should have 1 argument, but has been given none
- In the type synonym declaration for ‘B’
+
+tcfail100.hs:7:1: error:
+ • The type synonym ‘A’ should have 1 argument, but has been given none
+ • In the type synonym declaration for ‘B’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail101.stderr b/testsuite/tests/typecheck/should_fail/tcfail101.stderr
index 7c10f4aebe..f012dca49e 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail101.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail101.stderr
@@ -1,4 +1,5 @@
-
-tcfail101.hs:9:6: error:
- The type synonym ‘A’ should have 1 argument, but has been given none
- In the type signature: f :: T A
+
+tcfail101.hs:9:6: error:
+ • The type synonym ‘A’ should have 1 argument, but has been given none
+ • In the type signature:
+ f :: T A
diff --git a/testsuite/tests/typecheck/should_fail/tcfail102.stderr b/testsuite/tests/typecheck/should_fail/tcfail102.stderr
index 1f034ed39d..7cf8b4fbcb 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail102.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail102.stderr
@@ -1,13 +1,13 @@
-
-tcfail102.hs:1:14: warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-tcfail102.hs:9:15: error:
- Could not deduce (Integral (Ratio a)) arising from a use of ‘p’
- from the context: Integral a
- bound by the type signature for:
- f :: Integral a => P (Ratio a) -> P (Ratio a)
- at tcfail102.hs:8:1-45
- In the ‘p’ field of a record
- In the expression: x {p = p x}
- In an equation for ‘f’: f x = x {p = p x}
+
+tcfail102.hs:1:14: warning:
+ -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail102.hs:9:15: error:
+ • Could not deduce (Integral (Ratio a)) arising from a use of ‘p’
+ from the context: Integral a
+ bound by the type signature for:
+ f :: Integral a => P (Ratio a) -> P (Ratio a)
+ at tcfail102.hs:8:1-45
+ • In the ‘p’ field of a record
+ In the expression: x {p = p x}
+ In an equation for ‘f’: f x = x {p = p x}
diff --git a/testsuite/tests/typecheck/should_fail/tcfail106.stderr b/testsuite/tests/typecheck/should_fail/tcfail106.stderr
index 235a7814e2..435438694d 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail106.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail106.stderr
@@ -1,10 +1,10 @@
-
-tcfail106.hs:11:10:
- No instance for (S Int)
- arising from the superclasses of an instance declaration
- In the instance declaration for ‘C Int’
-
-tcfail106.hs:14:10:
- No instance for (S Int)
- arising from the superclasses of an instance declaration
- In the instance declaration for ‘D Int’
+
+tcfail106.hs:11:10: error:
+ • No instance for (S Int)
+ arising from the superclasses of an instance declaration
+ • In the instance declaration for ‘C Int’
+
+tcfail106.hs:14:10: error:
+ • No instance for (S Int)
+ arising from the superclasses of an instance declaration
+ • In the instance declaration for ‘D Int’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail107.stderr b/testsuite/tests/typecheck/should_fail/tcfail107.stderr
index 68b82627b8..2c53e0bae9 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail107.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail107.stderr
@@ -1,5 +1,5 @@
-
-tcfail107.hs:13:9: error:
- The type synonym ‘Const’ should have 2 arguments, but has been given 1
- In the type signature:
- test :: Thing (Const Int) -> Thing (Const Int)
+
+tcfail107.hs:13:9: error:
+ • The type synonym ‘Const’ should have 2 arguments, but has been given 1
+ • In the type signature:
+ test :: Thing (Const Int) -> Thing (Const Int)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail108.stderr b/testsuite/tests/typecheck/should_fail/tcfail108.stderr
index da766582b3..ce07df62d9 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail108.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail108.stderr
@@ -1,6 +1,6 @@
-
-tcfail108.hs:7:10: error:
- Variable ‘f’ occurs more often
- in the constraint ‘Eq (f (Rec f))’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Eq (Rec f)’
+
+tcfail108.hs:7:10: error:
+ • Variable ‘f’ occurs more often
+ in the constraint ‘Eq (f (Rec f))’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Eq (Rec f)’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail110.stderr b/testsuite/tests/typecheck/should_fail/tcfail110.stderr
index a9b070e46d..cb76cb1fcf 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail110.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail110.stderr
@@ -1,5 +1,6 @@
-
-tcfail110.hs:8:30: error:
- Expecting one more argument to ‘Foo a’
- Expected a type, but ‘Foo a’ has kind ‘* -> *’
- In the type signature: bar :: String -> (forall a. Foo a) -> IO ()
+
+tcfail110.hs:8:30: error:
+ • Expecting one more argument to ‘Foo a’
+ Expected a type, but ‘Foo a’ has kind ‘* -> *’
+ • In the type signature:
+ bar :: String -> (forall a. Foo a) -> IO ()
diff --git a/testsuite/tests/typecheck/should_fail/tcfail116.stderr b/testsuite/tests/typecheck/should_fail/tcfail116.stderr
index 723e6dba9a..48976d17ae 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail116.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail116.stderr
@@ -1,12 +1,12 @@
-
-tcfail116.hs:6:5: error:
- Could not deduce (Foo a0)
- from the context: Foo a
- bound by the type signature for:
- bug :: Foo a => ()
- at tcfail116.hs:6:5-13
- The type variable ‘a0’ is ambiguous
- In the ambiguity check for ‘bug’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the class method: bug :: forall a. Foo a => ()
- In the class declaration for ‘Foo’
+
+tcfail116.hs:6:5: error:
+ • Could not deduce (Foo a0)
+ from the context: Foo a
+ bound by the type signature for:
+ bug :: Foo a => ()
+ at tcfail116.hs:6:5-13
+ The type variable ‘a0’ is ambiguous
+ • In the ambiguity check for ‘bug’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the class method: bug :: forall a. Foo a => ()
+ In the class declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail125.stderr b/testsuite/tests/typecheck/should_fail/tcfail125.stderr
index 5d31a29080..7946e88932 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail125.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail125.stderr
@@ -1,11 +1,12 @@
-
-tcfail125.hs:1:14: Warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-tcfail125.hs:11:4:
- No instance for (Show a) arising from a use of ‘LiftObs’
- Possible fix:
- add (Show a) to the context of
- the type signature for: f :: Obs a -> String
- In the pattern: LiftObs _ _
- In an equation for ‘f’: f (LiftObs _ _) = "yes"
+
+tcfail125.hs:1:14: warning:
+ -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail125.hs:11:4: error:
+ • No instance for (Show a) arising from a use of ‘LiftObs’
+ Possible fix:
+ add (Show a) to the context of
+ the type signature for:
+ f :: Obs a -> String
+ • In the pattern: LiftObs _ _
+ In an equation for ‘f’: f (LiftObs _ _) = "yes"
diff --git a/testsuite/tests/typecheck/should_fail/tcfail129.stderr b/testsuite/tests/typecheck/should_fail/tcfail129.stderr
index 331ce03696..34545523c0 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail129.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail129.stderr
@@ -1,12 +1,12 @@
-
-tcfail129.hs:12:21: error:
- The type synonym ‘Foo’ should have 1 argument, but has been given none
- In an expression type signature: Bar Foo
- In the expression: undefined :: Bar Foo
- In an equation for ‘blah’: blah = undefined :: Bar Foo
-
-tcfail129.hs:17:22: error:
- The type synonym ‘Foo1’ should have 1 argument, but has been given none
- In an expression type signature: Bar1 Foo1
- In the expression: undefined :: Bar1 Foo1
- In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1
+
+tcfail129.hs:12:21: error:
+ • The type synonym ‘Foo’ should have 1 argument, but has been given none
+ • In an expression type signature: Bar Foo
+ In the expression: undefined :: Bar Foo
+ In an equation for ‘blah’: blah = undefined :: Bar Foo
+
+tcfail129.hs:17:22: error:
+ • The type synonym ‘Foo1’ should have 1 argument, but has been given none
+ • In an expression type signature: Bar1 Foo1
+ In the expression: undefined :: Bar1 Foo1
+ In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1
diff --git a/testsuite/tests/typecheck/should_fail/tcfail134.stderr b/testsuite/tests/typecheck/should_fail/tcfail134.stderr
index 4ade82b8e6..8e1170cdfb 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail134.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail134.stderr
@@ -1,6 +1,7 @@
-
-tcfail134.hs:5:33: error:
- Expecting one more argument to ‘XML’
- Expected a type, but ‘XML’ has kind ‘* -> Constraint’
- In the type signature: toXML :: a -> XML
- In the class declaration for ‘XML’
+
+tcfail134.hs:5:33: error:
+ • Expecting one more argument to ‘XML’
+ Expected a type, but ‘XML’ has kind ‘* -> Constraint’
+ • In the type signature:
+ toXML :: a -> XML
+ In the class declaration for ‘XML’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail135.stderr b/testsuite/tests/typecheck/should_fail/tcfail135.stderr
index bf953347d3..50186b6178 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail135.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail135.stderr
@@ -1,6 +1,7 @@
-
-tcfail135.hs:6:23: error:
- Expecting one more argument to ‘f’
- Expected a type, but ‘f’ has kind ‘k0 -> *’
- In the type signature: baa :: f a -> f
- In the class declaration for ‘Foo’
+
+tcfail135.hs:6:23: error:
+ • Expecting one more argument to ‘f’
+ Expected a type, but ‘f’ has kind ‘k0 -> *’
+ • In the type signature:
+ baa :: f a -> f
+ In the class declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail142.stderr b/testsuite/tests/typecheck/should_fail/tcfail142.stderr
index 1c854acc35..3f52ef5f80 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail142.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail142.stderr
@@ -1,12 +1,12 @@
-
-tcfail142.hs:18:8: error:
- Could not deduce (Bar a0 r)
- from the context: Bar a r
- bound by the type signature for:
- bar :: Bar a r => r -> ()
- at tcfail142.hs:18:8-25
- The type variable ‘a0’ is ambiguous
- In the ambiguity check for ‘bar’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- In the type signature:
- bar :: Bar a r => r -> ()
+
+tcfail142.hs:18:8: error:
+ • Could not deduce (Bar a0 r)
+ from the context: Bar a r
+ bound by the type signature for:
+ bar :: Bar a r => r -> ()
+ at tcfail142.hs:18:8-25
+ The type variable ‘a0’ is ambiguous
+ • In the ambiguity check for ‘bar’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature:
+ bar :: Bar a r => r -> ()
diff --git a/testsuite/tests/typecheck/should_fail/tcfail150.stderr b/testsuite/tests/typecheck/should_fail/tcfail150.stderr
index c91d404c13..9d63f6318e 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail150.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail150.stderr
@@ -1,8 +1,8 @@
-
-tcfail150.hs:6:3:
- Constraint ‘Eq a’ in the type of ‘op’
- constrains only the class type variables
- Use ConstrainedClassMethods to allow it
- When checking the class method:
- op :: forall a. (Foo a, Eq a) => a -> a
- In the class declaration for ‘Foo’
+
+tcfail150.hs:6:3: error:
+ • Constraint ‘Eq a’ in the type of ‘op’
+ constrains only the class type variables
+ Use ConstrainedClassMethods to allow it
+ • When checking the class method:
+ op :: forall a. (Foo a, Eq a) => a -> a
+ In the class declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail154.stderr b/testsuite/tests/typecheck/should_fail/tcfail154.stderr
index 903f61b7de..0b42e0dfc4 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail154.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail154.stderr
@@ -1,6 +1,6 @@
-
-tcfail154.hs:12:10: error:
- Variable ‘a’ occurs more often
- in the constraint ‘C a a’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Eq (T a)’
+
+tcfail154.hs:12:10: error:
+ • Variable ‘a’ occurs more often
+ in the constraint ‘C a a’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Eq (T a)’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail155.stderr b/testsuite/tests/typecheck/should_fail/tcfail155.stderr
index 5716f770ee..868daaf322 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail155.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail155.stderr
@@ -1,6 +1,6 @@
-
-tcfail155.hs:8:6: error:
- Data constructor ‘P’ returns type ‘L2’
- instead of an instance of its parent type ‘T a’
- In the definition of data constructor ‘P’
- In the data type declaration for ‘T’
+
+tcfail155.hs:8:6: error:
+ • Data constructor ‘P’ returns type ‘L2’
+ instead of an instance of its parent type ‘T a’
+ • In the definition of data constructor ‘P’
+ In the data type declaration for ‘T’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail157.stderr b/testsuite/tests/typecheck/should_fail/tcfail157.stderr
index 113e0cc67e..edc0506460 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail157.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail157.stderr
@@ -1,12 +1,12 @@
-
-tcfail157.hs:27:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘E m a b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Foo m (a -> ())’
-
-tcfail157.hs:27:10: error:
- Variable ‘b’ occurs more often
- in the constraint ‘Foo m b’ than in the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘Foo m (a -> ())’
+
+tcfail157.hs:27:10: error:
+ • Variable ‘b’ occurs more often
+ in the constraint ‘E m a b’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Foo m (a -> ())’
+
+tcfail157.hs:27:10: error:
+ • Variable ‘b’ occurs more often
+ in the constraint ‘Foo m b’ than in the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Foo m (a -> ())’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail158.stderr b/testsuite/tests/typecheck/should_fail/tcfail158.stderr
index 4110f87366..12f8a4e8df 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail158.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail158.stderr
@@ -1,5 +1,6 @@
-
-tcfail158.hs:14:19: error:
- Expecting one more argument to ‘Val v’
- Expected a type, but ‘Val v’ has kind ‘* -> *’
- In the type signature: bar :: forall v. Val v
+
+tcfail158.hs:14:19: error:
+ • Expecting one more argument to ‘Val v’
+ Expected a type, but ‘Val v’ has kind ‘* -> *’
+ • In the type signature:
+ bar :: forall v. Val v
diff --git a/testsuite/tests/typecheck/should_fail/tcfail167.stderr b/testsuite/tests/typecheck/should_fail/tcfail167.stderr
index e274c5ddc7..3700a7656c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail167.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail167.stderr
@@ -1,8 +1,8 @@
-
-tcfail167.hs:14:14:
- Couldn't match type ‘Char’ with ‘Float’
- Inaccessible code in
- a pattern with constructor: C2 :: T Float,
- in an equation for ‘inaccessible’
- In the pattern: C2
- In an equation for ‘inaccessible’: inaccessible C2 = ' '
+
+tcfail167.hs:14:14: error:
+ • Couldn't match type ‘Char’ with ‘Float’
+ Inaccessible code in
+ a pattern with constructor: C2 :: T Float,
+ in an equation for ‘inaccessible’
+ • In the pattern: C2
+ In an equation for ‘inaccessible’: inaccessible C2 = ' '
diff --git a/testsuite/tests/typecheck/should_fail/tcfail171.stderr b/testsuite/tests/typecheck/should_fail/tcfail171.stderr
index 9c7a786026..4c1068b652 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail171.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail171.stderr
@@ -1,8 +1,9 @@
-
-tcfail171.hs:9:10:
- No instance for (PrintfType b) arising from a use of ‘printf’
- Possible fix:
- add (PrintfType b) to the context of
- the type signature for: phex :: a -> b
- In the expression: printf "0x%x" x
- In an equation for ‘phex’: phex x = printf "0x%x" x
+
+tcfail171.hs:9:10: error:
+ • No instance for (PrintfType b) arising from a use of ‘printf’
+ Possible fix:
+ add (PrintfType b) to the context of
+ the type signature for:
+ phex :: a -> b
+ • In the expression: printf "0x%x" x
+ In an equation for ‘phex’: phex x = printf "0x%x" x
diff --git a/testsuite/tests/typecheck/should_fail/tcfail186.stderr b/testsuite/tests/typecheck/should_fail/tcfail186.stderr
index bf74d8182c..9b38bca915 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail186.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail186.stderr
@@ -1,8 +1,8 @@
-
-tcfail186.hs:7:9:
- Couldn't match type ‘[Char]’ with ‘Int’
- Expected type: PhantomSyn a0
- Actual type: [Char]
- In the first argument of ‘f’, namely ‘"hoo"’
- In the expression: f "hoo"
- In an equation for ‘foo’: foo = f "hoo"
+
+tcfail186.hs:7:9: error:
+ • Couldn't match type ‘[Char]’ with ‘Int’
+ Expected type: PhantomSyn a0
+ Actual type: [Char]
+ • In the first argument of ‘f’, namely ‘"hoo"’
+ In the expression: f "hoo"
+ In an equation for ‘foo’: foo = f "hoo"
diff --git a/testsuite/tests/typecheck/should_fail/tcfail187.stderr b/testsuite/tests/typecheck/should_fail/tcfail187.stderr
index 9dec6bace6..904b7959fe 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail187.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail187.stderr
@@ -1,5 +1,5 @@
-
-tcfail187.hs:7:6: error:
- The constructor ‘:::’ should have no arguments, but has been given 2
- In the pattern: x ::: y
- In an equation for ‘foo’: foo (x ::: y) = ()
+
+tcfail187.hs:7:6: error:
+ • The constructor ‘:::’ should have no arguments, but has been given 2
+ • In the pattern: x ::: y
+ In an equation for ‘foo’: foo (x ::: y) = ()
diff --git a/testsuite/tests/typecheck/should_fail/tcfail209.stderr b/testsuite/tests/typecheck/should_fail/tcfail209.stderr
index f4384d9aa2..1d2f315494 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail209.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail209.stderr
@@ -1,5 +1,5 @@
-
-tcfail209.hs:3:1: error:
- Illegal constraint synonym of kind: ‘* -> Constraint’
- (Use ConstraintKinds to permit this)
- In the type synonym declaration for ‘Showish’
+
+tcfail209.hs:3:1: error:
+ • Illegal constraint synonym of kind: ‘* -> Constraint’
+ (Use ConstraintKinds to permit this)
+ • In the type synonym declaration for ‘Showish’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail209a.stderr b/testsuite/tests/typecheck/should_fail/tcfail209a.stderr
index d3da3df44c..1ccd64ff2b 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail209a.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail209a.stderr
@@ -1,5 +1,6 @@
-
-tcfail209a.hs:3:6: error:
- Illegal tuple constraint: (Show a, Num a)
- (Use ConstraintKinds to permit this)
- In the type signature: g :: ((Show a, Num a), Eq a) => a -> a
+
+tcfail209a.hs:3:6: error:
+ • Illegal tuple constraint: (Show a, Num a)
+ (Use ConstraintKinds to permit this)
+ • In the type signature:
+ g :: ((Show a, Num a), Eq a) => a -> a
diff --git a/testsuite/tests/typecheck/should_fail/tcfail213.stderr b/testsuite/tests/typecheck/should_fail/tcfail213.stderr
index a29b758a42..d9648bf5ca 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail213.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail213.stderr
@@ -1,7 +1,7 @@
-
-tcfail213.hs:8:1: error:
- Illegal constraint ‘F a’ in a superclass context
- (Use UndecidableInstances to permit this)
- In the context: F a
- While checking the super-classes of class ‘C’
- In the class declaration for ‘C’
+
+tcfail213.hs:8:1: error:
+ • Illegal constraint ‘F a’ in a superclass context
+ (Use UndecidableInstances to permit this)
+ • In the context: F a
+ While checking the super-classes of class ‘C’
+ In the class declaration for ‘C’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail214.stderr b/testsuite/tests/typecheck/should_fail/tcfail214.stderr
index a2741b876b..c6a4387142 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail214.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail214.stderr
@@ -1,5 +1,5 @@
-
-tcfail214.hs:9:10: error:
- The constraint ‘F a’ is no smaller than the instance head
- (Use UndecidableInstances to permit this)
- In the instance declaration for ‘C [a]’
+
+tcfail214.hs:9:10: error:
+ • The constraint ‘F a’ is no smaller than the instance head
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘C [a]’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail215.stderr b/testsuite/tests/typecheck/should_fail/tcfail215.stderr
index df27691960..d05abd52d1 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail215.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail215.stderr
@@ -1,4 +1,5 @@
-
-tcfail215.hs:8:15: error:
- Expecting a lifted type, but ‘Int#’ is unlifted
- In the type signature: foo :: (?x :: Int#) => Int
+
+tcfail215.hs:8:15: error:
+ • Expecting a lifted type, but ‘Int#’ is unlifted
+ • In the type signature:
+ foo :: (?x :: Int#) => Int
diff --git a/testsuite/tests/typecheck/should_fail/tcfail222.stderr b/testsuite/tests/typecheck/should_fail/tcfail222.stderr
index 1293b787a0..c600ee38ab 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail222.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail222.stderr
@@ -1,4 +1,4 @@
-[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )
-
-<no location info>:
- ‘newSTRef’ is exported by the hsig file, but not exported by the module
+[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )
+
+<no location info>: error:
+ ‘newSTRef’ is exported by the hsig file, but not exported by the module