testsuite/tests/typecheck/should_fail/tcfail209a.stderr


1
2
3
4
5


tcfail209a.hs:4:6: error: [GHC-77539]
    • Illegal tuple constraint: (Show a, Num a)
    • In the type signature: g :: ((Show a, Num a), Eq a) => a -> a
    Suggested fix: Perhaps you intended to use ConstraintKinds