summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T10267.stderr
Commit message (Expand)AuthorAgeFilesLines
* Remove the type-checking knot.Richard Eisenberg2018-08-011-3/+3
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-26/+32
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-12/+4
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-4/+4
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-0/+5
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+35
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-46/+46
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-46/+46
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-34/+34
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-6/+6
* Add typed holes support in Template Haskell.Jan Stolarek2015-10-161-0/+46