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’