summaryrefslogtreecommitdiff
path: root/test/files/neg/t4515.check
Commit message (Expand)AuthorAgeFilesLines
* SI-7895 Issue all buffered errors after silent mode.Jason Zaugg2013-10-091-1/+11
* SI-5022 Retain precise existentials through pattern matchingJason Zaugg2013-06-051-2/+2
* moving patmat to its own phaseAdriaan Moors2012-05-021-2/+2
* restore typedMatchAnonFun in all its gloryAdriaan Moors2012-04-141-2/+2
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-191-1/+1
* Test case closes SI-4515.Paul Phillips2012-01-291-0/+6