summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/hole_constraints.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-10/+6
* Add built-in syntax suggestions, and refactor to allow library useMatthías Páll Gissurarson2018-11-011-0/+2
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-33/+11
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-15/+5
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-2/+2
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-1/+7
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+41
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-191-2/+2
* Show constraints when reporting typed holesMaciej Bielecki2016-12-151-0/+61