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