summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9497d.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-2/+1
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-5/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+1
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-3/+3
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-0/+1
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+12
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-231-7/+7
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-1/+1
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-261-7/+7
* Improve error message on typed holes, and user manual (Tradc #10040)Simon Peyton Jones2015-01-281-0/+1
* Add -fdefer-typed-holes flag which defers hole errors to runtime.Merijn Verstraaten2014-11-211-0/+6