From 42f06f6821a221b88d67b0adc110eea78c159d7f Mon Sep 17 00:00:00 2001 From: Thomas Miedema Date: Tue, 23 Feb 2016 02:25:17 +0100 Subject: Testsuite: accept output without Windows line endings (#11631) --- testsuite/tests/polykinds/T10516.stderr | 9 +- testsuite/tests/polykinds/T6054.stderr | 18 +-- .../tests/rename/should_fail/Misplaced.stderr | 8 +- testsuite/tests/rename/should_fail/T2310.stderr | 10 +- testsuite/tests/rename/should_fail/T3792.stderr | 5 +- .../tests/rename/should_fail/rnfail022.stderr | 8 +- .../tests/rename/should_fail/rnfail047.stderr | 6 +- .../tests/simplCore/should_compile/simpl020.stderr | 10 +- testsuite/tests/th/T3600.stderr | 6 +- .../tests/typecheck/should_compile/T10632.stderr | 10 +- .../tests/typecheck/should_compile/T3696.stderr | 6 +- .../tests/typecheck/should_compile/T7050.stderr | 10 +- .../tests/typecheck/should_compile/T7220a.stderr | 29 ++-- .../tests/typecheck/should_compile/T7562.stderr | 10 +- .../tests/typecheck/should_compile/T9497a.stderr | 14 +- .../typecheck/should_fail/AssocTyDef05.stderr | 10 +- .../typecheck/should_fail/ContextStack2.stderr | 25 ++-- .../typecheck/should_fail/FDsFromGivens.stderr | 37 ++--- .../should_fail/FailDueToGivenOverlapping.stderr | 26 ++-- .../tests/typecheck/should_fail/IPFail.stderr | 20 +-- .../tests/typecheck/should_fail/T10351.stderr | 12 +- .../tests/typecheck/should_fail/T1897a.stderr | 24 ++-- testsuite/tests/typecheck/should_fail/T3592.stderr | 34 ++--- testsuite/tests/typecheck/should_fail/T3966.stderr | 16 +-- testsuite/tests/typecheck/should_fail/T5051.stderr | 10 +- testsuite/tests/typecheck/should_fail/T5236.stderr | 29 ++-- testsuite/tests/typecheck/should_fail/T6022.stderr | 12 +- testsuite/tests/typecheck/should_fail/T7279.stderr | 21 +-- testsuite/tests/typecheck/should_fail/T7697.stderr | 9 +- testsuite/tests/typecheck/should_fail/T8034.stderr | 22 +-- .../tests/typecheck/should_fail/T8392a.stderr | 17 +-- .../tests/typecheck/should_fail/T9497d.stderr | 14 +- .../tests/typecheck/should_fail/fd-loop.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail019.stderr | 20 +-- .../tests/typecheck/should_fail/tcfail058.stderr | 11 +- .../tests/typecheck/should_fail/tcfail063.stderr | 11 +- .../tests/typecheck/should_fail/tcfail067.stderr | 159 +++++++++++---------- .../tests/typecheck/should_fail/tcfail080.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail097.stderr | 23 +-- .../tests/typecheck/should_fail/tcfail098.stderr | 21 +-- .../tests/typecheck/should_fail/tcfail100.stderr | 8 +- .../tests/typecheck/should_fail/tcfail101.stderr | 9 +- .../tests/typecheck/should_fail/tcfail102.stderr | 26 ++-- .../tests/typecheck/should_fail/tcfail106.stderr | 20 +-- .../tests/typecheck/should_fail/tcfail107.stderr | 10 +- .../tests/typecheck/should_fail/tcfail108.stderr | 12 +- .../tests/typecheck/should_fail/tcfail110.stderr | 11 +- .../tests/typecheck/should_fail/tcfail116.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail125.stderr | 23 +-- .../tests/typecheck/should_fail/tcfail129.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail134.stderr | 13 +- .../tests/typecheck/should_fail/tcfail135.stderr | 13 +- .../tests/typecheck/should_fail/tcfail142.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail150.stderr | 16 +-- .../tests/typecheck/should_fail/tcfail154.stderr | 12 +- .../tests/typecheck/should_fail/tcfail155.stderr | 12 +- .../tests/typecheck/should_fail/tcfail157.stderr | 24 ++-- .../tests/typecheck/should_fail/tcfail158.stderr | 11 +- .../tests/typecheck/should_fail/tcfail167.stderr | 16 +-- .../tests/typecheck/should_fail/tcfail171.stderr | 17 +-- .../tests/typecheck/should_fail/tcfail186.stderr | 16 +-- .../tests/typecheck/should_fail/tcfail187.stderr | 10 +- .../tests/typecheck/should_fail/tcfail209.stderr | 10 +- .../tests/typecheck/should_fail/tcfail209a.stderr | 11 +- .../tests/typecheck/should_fail/tcfail213.stderr | 14 +- .../tests/typecheck/should_fail/tcfail214.stderr | 10 +- .../tests/typecheck/should_fail/tcfail215.stderr | 9 +- .../tests/typecheck/should_fail/tcfail222.stderr | 8 +- 68 files changed, 613 insertions(+), 590 deletions(-) (limited to 'testsuite/tests') 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’ - -: 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’ + +: 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 ) - -: - ‘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 ) + +: error: + ‘newSTRef’ is exported by the hsig file, but not exported by the module -- cgit v1.2.1