blob: 56e4a791ad970f94f8e83e9560be34a24c68502b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail032.hs:14:8:
Couldn't match expected type ‛a1 -> Int’ with actual type ‛t’
because type variable ‛a1’ would escape its scope
This (rigid, skolem) type variable is bound by
an expression type signature: Eq a1 => a1 -> Int
at tcfail032.hs:14:8-30
Relevant bindings include
f :: t -> a -> Int (bound at tcfail032.hs:14:1)
x :: t (bound at tcfail032.hs:14:3)
In the expression: (x :: Eq a => a -> Int)
In an equation for ‛f’: f x = (x :: Eq a => a -> Int)
|