tcfail032.stderr 255 Bytes
Newer Older
1

2
tcfail032.hs:14:
3
    Inferred type is less polymorphic than expected
4
5
6
	Quantified type variable `a' escapes
	It is mentioned in the environment:
	  x :: a -> Int (bound at tcfail032.hs:14)
7
    In the definition of `f': (x :: forall a. (Eq a) => a -> Int)