diff options
Diffstat (limited to 'testsuite/tests')
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 |