summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T15039c.stderr
Commit message (Expand)AuthorAgeFilesLines
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Improve skolemisationSimon Peyton Jones2020-02-011-1/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-261-1/+1
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-2/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-5/+6
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-0/+55