blob: fda4a5ed6d3b76369dc69c16a77be32600f7cbfa (
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
because it is monomorphic, but the error message isn't very illuminating.
-}
module ShouldFail where
f x = (x :: (Eq a) => a -> Int)
|
