summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/valid_substitutions.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-258/+0
* base: Introduce Data.Monoid.Apchessai2018-05-271-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-22/+8
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-41/+41
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-20/+217
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-1/+39
* Show valid substitutions for typed holesMatthías Páll Gissurarson2017-03-291-0/+37