summaryrefslogtreecommitdiff
path: root/test/files/neg/t3481.check
Commit message (Expand)AuthorAgeFilesLines
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-191-3/+3
* Tests for SI-3481.Simon Ochsenreither2011-12-021-0/+29