testsuite/tests/gadt/gadt10.stderr


1
2
3
4
5
6
7


gadt10.hs:6:24:
    `RInt' is not applied to enough type arguments
    Expected kind `ArgKind', but `RInt' has kind `k0 -> *'
    In the type `RInt'
    In the definition of data constructor `R'
    In the data type declaration for `RInt'