Eliminate so-called "silent superclass parameters"
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail042.stderr
1 \r
2 tcfail042.hs:15:10:\r
3     Could not deduce (Num a)\r
4       arising from the superclasses of an instance declaration\r
5     from the context (Eq a, Show a)\r
6       bound by the instance declaration at tcfail042.hs:15:10-34\r
7     Possible fix:\r
8       add (Num a) to the context of the instance declaration\r
9     In the instance declaration for ‘Bar [a]’\r
10 \r
11 tcfail042.hs:17:18:\r
12     Could not deduce (Num a) arising from a use of ‘foo’\r
13     from the context (Eq a, Show a)\r
14       bound by the instance declaration at tcfail042.hs:15:10-34\r
15     Possible fix:\r
16       add (Num a) to the context of the instance declaration\r
17     In the expression: foo xs\r
18     In an equation for ‘bar’:\r
19         bar (x : xs)\r
20           = foo xs\r
21           where\r
22               u = x == x\r
23               v = show x\r
24     In the instance declaration for ‘Bar [a]’\r