blob: fc498371c9afc6726b21cc55d9f8adc125a35ff8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
tcfail008.hs:3:5: error: [GHC-39999]
• Ambiguous type variable ‘a0’ arising from the literal ‘1’
prevents the constraint ‘(Num a0)’ from being solved.
Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1)
Probable fix: use a type annotation to specify what ‘a0’ should be.
Potentially matching instances:
instance Num Integer -- Defined in ‘GHC.Num’
instance Num Double -- Defined in ‘GHC.Float’
...plus three others
...plus one instance involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘(:)’, namely ‘1’
In the expression: 1 : 2
In an equation for ‘o’: o = 1 : 2
tcfail008.hs:3:7: error: [GHC-39999]
• No instance for ‘Num [a0]’ arising from the literal ‘2’
• In the second argument of ‘(:)’, namely ‘2’
In the expression: 1 : 2
In an equation for ‘o’: o = 1 : 2
|