summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Do not bring visible foralls into scope in hsScopedTvswip/T17687Ryan Scott2020-01-251-0/+1
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-0/+4
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-111-0/+3
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-1/+3
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-0/+2
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-0/+1
* Visible dependent quantificationRyan Scott2019-03-011-0/+12
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-0/+1
* Fix tests which were made to pass by "Make a smart mkAppTyM"Matthew Pickering2019-02-161-1/+1
* testsuite: Mark T11334b as broken in debugged compilerBen Gamari2019-02-071-1/+1
* Fix #15859 by checking, not assuming, an ArgFlagRichard Eisenberg2018-11-051-0/+1
* Test #15825 in dependent/should_fail/T15825Richard Eisenberg2018-10-291-0/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+4
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-1/+0
* Remove the type-checking knot.Richard Eisenberg2018-08-011-1/+1
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-101-0/+2
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-051-0/+1
* Provide a better error message for unpromotable data constructor contextsRyan Scott2018-06-171-0/+3
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-0/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-2/+9
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-1/+1
* Add regression tests for #13601, #13780, #13877Ryan Scott2017-07-281-0/+4
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-1/+1
* Apply the right substitution in ty-fam improvementSimon Peyton Jones2017-01-231-0/+1
* Test Trac #12081Simon Peyton Jones2016-10-241-0/+1
* Test Trac #12174Simon Peyton Jones2016-10-241-0/+1
* Rename test for #11334 to 11334b, fixing conflictRichard Eisenberg2016-03-211-1/+1
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-151-0/+1
* Fix #11473.Richard Eisenberg2016-03-151-0/+1
* Fix #11648.Richard Eisenberg2016-03-141-0/+2
* Fix #11334.Richard Eisenberg2016-03-141-0/+1
* Fix #11407.Richard Eisenberg2016-03-141-0/+1
* Suggest import Data.Kinds when * is out of scopeRichard Eisenberg2015-12-141-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+9
View Lorry Controller Status