Report better suggestion for GADT data constructor
[ghc.git] / testsuite / tests / gadt / T16427.stderr
1
2 T16427.hs:5:14: error:
3     • GADT constructor type signature cannot contain nested ‘forall’s or contexts
4       Suggestion: instead use this type signature:
5         C :: forall b. Int -> b -> D
6     • In the definition of data constructor ‘C’
7       In the data type declaration for ‘D’