ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:29:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `aLX'
   5         in the type `aLX -> X x -> X x'
   6         When checking the type signature for `setX'
   7         In the definition for method `setX'
   8
   9
  10 Compilation had errors