path: root/testsuite/tests/polykinds/T6129.stderr

T6129.hs:12:11:
    Data constructor `DInt' cannot be used here
      (it comes from a data family instance)
    In the type `X DInt'
    In the definition of data constructor `X1'
    In the data declaration for `X'