d84c3b90e3e3ac27c90b12ebd0735e09fc710d28
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail008.stderr
1
2 tcfail008.hs:3:5: error:
3     Ambiguous type variable ‘a0’ arising from the literal ‘1’
4     prevents the constraint ‘(Num a0)’ from being solved.
5     Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1)
6     Probable fix: use a type annotation to specify what ‘a0’ should be.
7     These potential instances exist:
8       instance Num Integer -- Defined in ‘GHC.Num’
9       instance Num Double -- Defined in ‘GHC.Float’
10       instance Num Float -- Defined in ‘GHC.Float’
11       ...plus two others
12       (use -fprint-potential-instances to see them all)
13     In the first argument of ‘(:)’, namely ‘1’
14     In the expression: 1 : 2
15     In an equation for ‘o’: o = 1 : 2
16
17 tcfail008.hs:3:7: error:
18     No instance for (Num [a0]) arising from the literal ‘2’
19     In the second argument of ‘(:)’, namely ‘2’
20     In the expression: 1 : 2
21     In an equation for ‘o’: o = 1 : 2