Merge branch 'tc-untouchables'
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail008.stderr
1
2 tcfail008.hs:3:5:
3     No instance for (Num a0) arising from the literal `1'
4     The type variable `a0' is ambiguous
5     Possible cause: the monomorphism restriction applied to: `o'
6     Probable fix: give these definition(s) an explicit type signature
7                   or use -XNoMonomorphismRestriction
8     Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1)
9     Note: there are several potential instances:
10       instance Num Double -- Defined in `GHC.Float'
11       instance Num Float -- Defined in `GHC.Float'
12       instance Integral a => Num (GHC.Real.Ratio a)
13         -- Defined in `GHC.Real'
14       ...plus three others
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]) arising from the literal `2'
21     In the second argument of `(:)', namely `2'
22     In the expression: 1 : 2
23     In an equation for `o': o = 1 : 2