tcfail032.stderr 431 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
8
9
10
    Signature type:     forall a. (Eq a) => a -> Int
    Type to generalise: a -> Int
    In an expression with a type signature:
	  x :: forall a. (Eq a) => a -> Int
11
    In the definition of `f': (x :: forall a. (Eq a) => a -> Int)