summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc141.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-4/+4
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-5/+5
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-9/+9
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-8/+8
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-4/+8
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-8/+8
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-3/+3
* Fix a bug in occurs checkingSimon Peyton Jones2016-09-301-5/+5
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-54/+54
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-54/+54
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-3/+3
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-3/+3
* Visible type applicationRichard Eisenberg2015-12-241-5/+11
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-10/+10
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-42/+44
* 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-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-7/+7
* Error message wibblesSimon Peyton Jones2013-09-101-5/+5
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-6/+0
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-7/+7
* Tons of error message wibblesSimon Peyton Jones2012-09-281-8/+8
* A ton of error message wibblesSimon Peyton Jones2012-09-211-0/+9
* Testsuite update for unboxed tuples in argumentsMax Bolingbroke2012-05-151-43/+43
* Wibble to error messageSimon Peyton Jones2012-04-131-43/+43
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-021-3/+40
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+6