tcfail032.stderr 537 Bytes
Newer Older
1

2
tests/ghc-regress/typecheck/should_fail/tcfail032.hs:14:
3
4
5
6
7
8
9
10
11
12
    Inferred type is less polymorphic than expected
	Quantified type variable `a' escapes
	It is mentioned in the environment
	The following variables in the environment mention `a'
	  x :: a -> Int
    Signature type:     forall a. (Eq a) => a -> Int
    Type to generalise: a -> Int
    When checking an expression type signature
    In an expression with a type signature:
	  x :: forall a. (Eq a) => a -> Int
13
    In the definition of `f': (x :: forall a. (Eq a) => a -> Int)