testsuite/tests/gadt/gadt11.stderr


1
2
3
4
5
6


gadt11.hs:12:3: error:
    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 type declaration for ‘T2’