summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail201.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-3/+3
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-6/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-19/+19
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-19/+19
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-161-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-4/+7
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-1/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-11/+12
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Another major improvement of "improvement"Simon Peyton Jones2015-06-111-1/+1
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-2/+2
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-11/+6
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-20/+20
* Testsuite error message changesSimon Peyton Jones2014-11-041-19/+20
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
* Error message wibblesSimon Peyton Jones2013-09-101-1/+1
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-2/+2
* A ton of error message wibblesSimon Peyton Jones2012-09-211-0/+5
* Error message modifications following ghc-new-solver modificationsDimitrios.Vytiniotis2012-04-041-15/+14
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-261-15/+15
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-021-1/+1
* Lots of error message wibbling, following theSimon Peyton Jones2012-01-121-15/+15
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-161-13/+15
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-8/+7
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+14
View Lorry Controller Status