Refactor treatment of wildcards
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail209a.stderr
1 \r
2 tcfail209a.hs:3:6: error:\r
3     Illegal tuple constraint: (Show a, Num a)\r
4       (Use ConstraintKinds to permit this)\r
5     In the type signature: g :: ((Show a, Num a), Eq a) => a -> a\r