summaryrefslogtreecommitdiff
path: root/test/files/neg/t6680c.check
Commit message (Expand)AuthorAgeFilesLines
* Remove orphaned check files and flags files.Jason Zaugg2013-10-271-6/+0
* SI-6680 unsoundness in gadt typing.Paul Phillips2013-10-011-0/+6