testsuite/tests/dependent/should_fail/PromotedClass.stderr


1
2
3
4
5
6


PromotedClass.hs:10:15: error:
    • Data constructor ‘MkX’ cannot be used here
        (it has an unpromotable context ‘Show a’)
    • In the first argument of ‘Proxy’, namely ‘('MkX 'True)’
      In the type signature: foo :: Proxy ('MkX 'True)