Wibble
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail209a.stderr
1
2 tcfail209a.hs:3:6:
3     Illegal tuple constraint: (Show a, Num a)
4       (Use -XConstraintKinds to permit this)
5     In the type signature for `g':
6       g :: ((Show a, Num a), Eq a) => a -> a