testsuite/tests/typecheck/should_fail/tcfail209a.stderr


1
2
3
4
5
6


tcfail209a.hs:3:6:
    Illegal tuple constraint: (Show a, Num a)
      (Use ConstraintKinds to permit this)
    In the type signature for ‘g’:
      g :: ((Show a, Num a), Eq a) => a -> a