summaryrefslogtreecommitdiff
path: root/testsuite/tests/module/mod71.stderr
Commit message (Expand)AuthorAgeFilesLines
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-6/+6
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-4/+1
* 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/+6
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-12/+12
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-12/+12
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-5/+5
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-3/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-12/+12
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-3/+3
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-261-12/+12
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-11/+3
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-0/+9
* Add -fdefer-typed-holes flag which defers hole errors to runtime.Merijn Verstraaten2014-11-211-1/+10
* Turn -XTypeHoles into a (on by default) warningAustin Seipp2014-01-141-1/+1
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+2