summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T12468.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-2/+1
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-4/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+1
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+12
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-191-0/+6