path: root/testsuite/tests/gadt/gadt10.stderr

gadt10.hs:6:24:
    Expecting one more argument to `RInt'
    In the type `RInt'
    In the definition of data constructor `R'
    In the data declaration for `RInt'