diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-05-13 12:42:58 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-08-28 11:14:12 +0100 |
| commit | baa3c9a306df0432f2697009585c66ff096d197e (patch) | |
| tree | 64e3d55c5326a322cdec68c7306bba6f619d16a6 /testsuite/tests/typecheck/should_fail | |
| parent | 99178c1f904166911483c692f9438ff4992ec2dc (diff) | |
| download | haskell-baa3c9a306df0432f2697009585c66ff096d197e.tar.gz | |
Wibbles to "...plus N others" error message about instances in scope
I this this arises from my de-orphaning the Enum Word instance
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail008.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail072.stderr | 6 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail133.stderr | 2 |
3 files changed, 6 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail008.stderr b/testsuite/tests/typecheck/should_fail/tcfail008.stderr index c633a15325..38682cc1e8 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail008.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail008.stderr @@ -6,9 +6,8 @@ tcfail008.hs:3:5: Note: there are several potential instances: instance Num Double -- Defined in ‘GHC.Float’ instance Num Float -- Defined in ‘GHC.Float’ - instance Integral a => Num (GHC.Real.Ratio a) - -- Defined in ‘GHC.Real’ - ...plus three others + instance Num Int -- Defined in ‘GHC.Num’ + ...plus two others In the first argument of ‘(:)’, namely ‘1’ In the expression: 1 : 2 In an equation for ‘o’: o = 1 : 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr index dc301a8e60..37bb8b3ad3 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr @@ -7,10 +7,10 @@ tcfail072.hs:23:13: at tcfail072.hs:22:6-38 The type variable ‘q0’ is ambiguous Note: there are several potential instances: - instance Integral a => Ord (GHC.Real.Ratio a) - -- Defined in ‘GHC.Real’ instance Ord () -- Defined in ‘GHC.Classes’ instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ - ...plus 22 others + instance (Ord a, Ord b, Ord c) => Ord (a, b, c) + -- Defined in ‘GHC.Classes’ + ...plus 21 others In the expression: g A In an equation for ‘g’: g (B _ _) = g A diff --git a/testsuite/tests/typecheck/should_fail/tcfail133.stderr b/testsuite/tests/typecheck/should_fail/tcfail133.stderr index b23b9447ae..058b06392f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail133.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail133.stderr @@ -10,7 +10,7 @@ tcfail133.hs:68:7: instance Show One -- Defined at tcfail133.hs:9:28 instance (Show a, Show b, Number a, Digit b) => Show (a :@ b) -- Defined at tcfail133.hs:11:54 - ...plus 26 others + ...plus 25 others In the expression: show In the expression: show $ add (One :@ Zero) (One :@ One) In an equation for ‘foo’: |