summaryrefslogtreecommitdiff
path: root/test/files/neg/t5189b.check
Commit message (Expand)AuthorAgeFilesLines
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-191-4/+7
* SI-5189 fixed: safe type infer for constr patternAdriaan Moors2012-03-091-0/+8