testsuite/tests/gadt/gadt11.stderr


1
2
3
4
5
6


gadt11.hs:12:3:
    Data constructor ‛L2’ returns type ‛T1 Bool’
      instead of an instance of its parent type ‛T2 a’
    In the definition of data constructor ‛L2’
    In the data declaration for ‛T2’