ghc/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 tcfail032.hs:14:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `a' escapes
   5         It is mentioned in the environment
   6         The following variables in the environment mention `a'
   7             x :: a -> Int
   8     In an expression with expected type:
   9         forall a1. (Eq a1) => a1 -> Int
  10     In an expression with a type signature:
  11           x :: forall a. (Eq a) => a -> Int
  12
  13 Compilation had errors
  14