ce70e7d07a3505e47098c5b6384167c58719e2e2
[ghc.git] / testsuite / tests / polykinds / PolyKinds07.stderr
1
2 PolyKinds07.hs:10:11:
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’