testsuite/tests/polykinds/T5716a.stderr


1
2
3
4
5
6
7


T5716a.hs:10:27:
    Data constructor ‛Bar’ cannot be used here
      (it comes from a data family instance)
    In the type ‛Bar a’
    In the definition of data constructor ‛Bar’
    In the data instance declaration for ‛DF’