summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7438.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-7/+7
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-2/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-9/+10
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-1/+1
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-3/+3
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-7/+7
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-8/+8
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-21/+19
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-19/+21
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-8/+8
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-8/+8
* Visible type applicationRichard Eisenberg2015-12-241-4/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-18/+17
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-0/+1
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-5/+5
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-19/+19
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-19/+19
* Testsuite error message changesSimon Peyton Jones2014-11-041-19/+19
* Fix tyConToIfaceDecl (Trac #9190)Simon Peyton Jones2014-06-111-19/+19
* Print for-alls more often (Trac #9018)Simon Peyton Jones2014-04-281-1/+1
* Improve error reporting for untouchable type variablesSimon Peyton Jones2014-04-081-18/+19
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-6/+6
* Error message wibbles,unknown2013-10-011-20/+18
* Error message wibblesSimon Peyton Jones2013-09-101-1/+1
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-6/+6
* Make T7438 insensitive to the directory from which it is runIan Lynagh2012-11-231-1/+0
* Test Trac #7438Simon Peyton Jones2012-11-231-0/+21
View Lorry Controller Status