blob: f00af207006c762b741eb8acaac3515320c2934e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
tcfail097.hs:5:6: error:
• Could not deduce (Eq a0)
from the context: Eq a
bound by the type signature for:
f :: forall a. Eq a => Int -> Int
at tcfail097.hs:5:6-23
The type variable ‘a0’ is ambiguous
Potentially matching instances:
instance Eq Ordering -- Defined in ‘GHC.Classes’
instance Eq Integer -- Defined in ‘GHC.Num.Integer’
...plus 23 others
...plus four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: Eq a => Int -> Int
|