testsuite/tests/th/T3177a.stderr


1
2
3
4
5
6
7
8


T3177a.hs:8:8: error:
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the type signature: f :: (Int Int)

T3177a.hs:11:6: error:
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the type signature: g :: Int Int