ghc/tests/typecheck/should_fail/tcfail071.stderr

   1
   2 tcfail071.hs:8:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `c' is unified with `a -> [t] -> [t]'
   5     When checking the type signature g :: forall c1. c1 -> c1
   6
   7
   8
   9 Compilation had errors
  10