summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7734.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-2/+2
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-10/+10
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-6/+6
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-6/+6
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-6/+6
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-6/+6
* Visible type applicationRichard Eisenberg2015-12-241-0/+2
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-14/+14
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-4/+4
* 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-2/+2
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-2/+0
* Fix tests after #7848Krzysztof Gogolewski2013-04-211-1/+1
* Add a test for #7734Ian Lynagh2013-03-031-0/+18
View Lorry Controller Status