summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail004.stderr
Commit message (Expand)AuthorAgeFilesLines
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-7/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+1
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-3/+3
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-3/+3
* Visible type applicationRichard Eisenberg2015-12-241-3/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-9/+9
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Do type-class defaulting even if there are insoluble constraintsSimon Peyton Jones2014-04-281-9/+9
* 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
* Error message wibbles now that we do less defaulting when there are insolublesSimon Peyton Jones2012-10-041-3/+3
* A ton of error message wibblesSimon Peyton Jones2012-09-211-2/+5
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+6
View Lorry Controller Status