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