summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/gadt2.stdout
blob: 75df5cd9a117ead1bf52bd1e2afc9802aeaf86ab (plain)
1
2
[True,False]
[LT,EQ,GT]