summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T11452.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionSimon Peyton Jones2020-05-221-2/+6
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-271-1/+1
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-0/+15