Smarter HsType pretty-print for promoted datacons
[ghc.git] / testsuite / tests / dependent / should_fail / PromotedClass.stderr
1
2 PromotedClass.hs:10:15: error:
3     • Data constructor ‘MkX’ cannot be used here
4         (it has an unpromotable context ‘Show a’)
5     • In the first argument of ‘Proxy’, namely ‘('MkX 'True)’
6       In the type signature: foo :: Proxy ('MkX 'True)