ghc/tests/typecheck/should_fail/tcfail009.stderr

   1
   2 tcfail009.hs:3:
   3     Couldn't match the type `Int' against `Integer'
   4         Expected: Integer
   5         Inferred: Int
   6         In an expression with a type signature: 2 :: Integer
   7
   8
   9 Compilation had errors