ghc/tests/typecheck/should_fail/tcfail009.stderr

   1
   2 tcfail009.hs:3:
   3     Couldn't match `Integer' against `Int'
   4         Expected type: Integer
   5         Inferred type: Int
   6     In an expression with a type signature: 2 :: Integer