summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T14320.stderr
blob: 9cfb6ed9fca905eafe15bffeb0cb8d0bd31009fe (plain)
1
2
3
4

T14320.hs:17:14: error:
    GADT constructor type signature cannot contain nested ‘forall’s or contexts
    In the definition of data constructor ‘TEBad’