summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T14715.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Improve partial signaturesSimon Peyton Jones2022-01-271-1/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-7/+6
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+2
* Improve skolemisationSimon Peyton Jones2020-02-011-1/+1
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-161-1/+1
* Visible kind applicationmynguyen2019-01-031-10/+11
* testsuite: Fix test output of T14715Ben Gamari2018-01-311-1/+10
* Move zonkWC to the right place in simplfyInferSimon Peyton Jones2018-01-311-0/+1