ghc/compiler/tests/typecheck/should_fail/tcfail032.hs

   1 {- This test gives the following not-very-wonderful error message.
   2
   3   "tc_sig.hs", line 3: Type signature does not match the inferred type:
   4     Signature: t76 -> Int
   5     Inferred type: t75
   6
   7 It *is* an error, because x does not have the polytype
   8         forall a. Eq a => a -> Int
   9 becuase it is monomorphic, but the error message isn't very illuminating.
  10 -}
  11
  12 module TcSig where
  13
  14 f x = (x :: (Eq a) => a -> Int)
  15
  16