Smarter HsType pretty-print for promoted datacons
[ghc.git] / testsuite / tests / polykinds / PolyKinds07.stderr
1
2 PolyKinds07.hs:10:11: error:
3     • Data constructor ‘A1’ cannot be used here
4         (it is defined and used in the same recursive group)
5     • In the first argument of ‘B’, namely ‘'A1’
6       In the type ‘B 'A1’
7       In the definition of data constructor ‘B1’