testsuite/tests/polykinds/T6129.stderr


1
2
3
4
5
6
7


T6129.hs:12:11: error: [GHC-88634]
    • Data constructor ‘DInt’ cannot be used here
        (it comes from a data family instance)
    • In the first argument of ‘X’, namely ‘DInt’
      In the type ‘X DInt’
      In the definition of data constructor ‘X1’