summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail174.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-2/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-15/+7
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+8
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-4/+7
* Fix constraint solving for forall-typesSimon Peyton Jones2017-06-281-1/+1
* Fix impredicativity (again)Simon Peyton Jones2016-09-301-6/+13
* Testsuite: remove Windows CR again.. [skip ci]Thomas Miedema2016-06-201-30/+30
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-30/+30
* Tidy up tidySkolemInfoSimon Peyton Jones2016-01-071-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-35/+30
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-7/+10
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-4/+4
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-32/+32
* Wibbles (usually improvements) to error messagesSimon Peyton Jones2014-11-211-2/+2
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-10/+10
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-35/+32
* Error message wibbles, following TcErrors refactoringSimon Peyton Jones2013-04-221-7/+35
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-4/+4
* Tons of error message wibblesSimon Peyton Jones2012-09-281-28/+0
* A ton of error message wibblesSimon Peyton Jones2012-09-211-31/+35
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-261-31/+31
* 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-29/+31
* Track error message changesSimon Peyton Jones2011-12-051-5/+11
* Follow error message changesSimon Peyton Jones2011-11-301-23/+23
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-2/+2
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+23
View Lorry Controller Status