Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail008.stderr
1
2 tcfail008.hs:3:5:
3     No instance for (Num a0)
4       arising from the literal `1'
5     The type variable `a0' is ambiguous
6     Possible cause: the monomorphism restriction applied to the following:
7       o :: [a0] (bound at tcfail008.hs:3:1)
8     Probable fix: give these definition(s) an explicit type signature
9                   or use -XNoMonomorphismRestriction
10     Note: there are several potential instances:
11       instance Num Double -- Defined in `GHC.Float'
12       instance Num Float -- Defined in `GHC.Float'
13       instance Num Int -- Defined in `GHC.Num'
14       ...plus one other
15     In the first argument of `(:)', namely `1'
16     In the expression: 1 : 2
17     In an equation for `o': o = 1 : 2
18
19 tcfail008.hs:3:7:
20     No instance for (Num [a0])
21       arising from the literal `2'
22     Possible fix: add an instance declaration for (Num [a0])
23     In the second argument of `(:)', namely `2'
24     In the expression: 1 : 2
25     In an equation for `o': o = 1 : 2