summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T9109.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-7/+7
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-5/+5
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-15/+14
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-15/+15
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-6/+6
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-5/+6
* Visible type applicationRichard Eisenberg2015-12-241-4/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-13/+14
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-1/+1
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-14/+14
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-15/+14
* Test #9109 in typecheck/should_fail/T9109Richard Eisenberg2014-11-201-0/+15