ghc/tests/typecheck/should_fail/tcfail081.stderr

   1
   2 tcfail081.hs:2:
   3     Cannot unify the type-signature variable `a' with the type `IO t'
   4         Expected type: IO t
   5         Inferred type: a
   6     When checking that `main' has the required type
   7
   8 Compilation had errors
   9