Some tidying up of type pretty-printing
[ghc.git] / testsuite / 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 because it is monomorphic, but the error message isn't very illuminating.
10 -}
11
12 module ShouldFail where
13
14 f x = (x :: (Eq a) => a -> Int)
15
16