summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T11452.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-4/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-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