summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0511-15/+35
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-251-2/+2
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-203-16/+6
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-126-6/+6
* Do not bring visible foralls into scope in hsScopedTvswip/T17687Ryan Scott2020-01-253-0/+13
* Don't zap to Any; error insteadRichard Eisenberg2020-01-1210-4/+104
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-118-0/+78
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-1/+1
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-168-12/+57
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-095-0/+33
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-073-0/+18
* Visible dependent quantificationRyan Scott2019-03-0126-5/+213
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-277-7/+28
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-232-5/+10
* Fix tests which were made to pass by "Make a smart mkAppTyM"Matthew Pickering2019-02-161-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-16/+0
* testsuite: Mark T11334b as broken in debugged compilerBen Gamari2019-02-071-1/+1
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-032-1/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2910-74/+47
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-2/+3
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-152-5/+5
* Actually add test for #15859.Richard Eisenberg2018-11-051-0/+13
* Fix #15859 by checking, not assuming, an ArgFlagRichard Eisenberg2018-11-052-0/+7
* Test #15825 in dependent/should_fail/T15825Richard Eisenberg2018-10-293-0/+20
* Finish fix for #14880.Tobias Dammers2018-10-2815-33/+102
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-1/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-027-35/+56
* Remove the type-checking knot.Richard Eisenberg2018-08-013-1/+27
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-103-0/+23
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-053-0/+18
* Remove accidentally checked-in T14845.stderrRyan Scott2018-06-171-7/+0
* Provide a better error message for unpromotable data constructor contextsRyan Scott2018-06-1710-2/+86
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-153-0/+25
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1436-72/+76
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-5/+5
* Track type variable scope more carefully.Richard Eisenberg2018-03-3124-30/+193
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-262-14/+13
* Typofixes [ci skip]Gabor Greif2017-07-301-1/+1
* Add regression tests for #13601, #13780, #13877Ryan Scott2017-07-288-0/+106
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-273-6/+9
* Apply the right substitution in ty-fam improvementSimon Peyton Jones2017-01-233-0/+133
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-073-13/+12
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Test Trac #12081Simon Peyton Jones2016-10-243-0/+17
* Test Trac #12174Simon Peyton Jones2016-10-243-0/+17
View Lorry Controller Status