testsuite/tests/typecheck/should_fail/T8806.stderr


1
2
3
4
5
6
7
8


T8806.hs:5:6:
    Expected a constraint, but ‘Int’ has kind ‘*’
    In the type signature for ‘f’: f :: Int => Int

T8806.hs:8:7:
    Illegal constraint: Int => Show a
    In the type signature for ‘g’: g :: (Int => Show a) => Int