summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/gadt7.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-3/+3
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-8/+8
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-9/+9
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-20/+20
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-20/+20
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-9/+9
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-10/+10
* Visible type applicationRichard Eisenberg2015-12-241-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-17/+17
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+2
* Propagate ReturnTvs in matchExpectedFunTysRichard Eisenberg2015-02-111-9/+9
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-19/+19
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-20/+19
* Improve error reporting for untouchable type variablesSimon Peyton Jones2014-04-081-0/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-4/+4
* Error message wibblesSimon Peyton Jones2013-09-101-2/+2
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-291-1/+0
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-20/+20
* Adapt to being a bit more picky about inference with GADTsSimon Peyton Jones2012-10-191-0/+20
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-201-0/+0
View Lorry Controller Status