summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-012-4/+4
* Don't zap to Any; error insteadRichard Eisenberg2020-01-123-2/+20
* Warn on inferred polymorphic recursionRichard Eisenberg2019-12-115-1/+7
* Pretty-printing of the * kindVladislav Zavialov2019-12-055-5/+5
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-1/+1
* base: Bump version to 4.14.0.0Ben Gamari2019-11-142-2/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-0/+17
* testsuite: Set -dinitial-unique when reversing uniquesBen Gamari2019-07-181-1/+1
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-045-0/+50
* Add a missing zonk (fixes #16902)Simon Peyton Jones2019-07-043-0/+18
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+1
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-071-4/+4
* Bump ghc-prim's version where neededAlexandre2019-04-012-2/+2
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-222-2/+2
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-203-3/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-154-4/+4
* Test Trac #16263Simon Peyton Jones2019-03-063-0/+10
* Add tests for Trac #16221 and #16342Simon Peyton Jones2019-03-065-0/+42
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-2715-49/+40
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+0
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-142-168/+1
* Fix #16188Richard Eisenberg2019-02-121-15/+0
* testsuite: Use makefile_testBen Gamari2019-01-301-7/+7
* Revert "Batch merge"Ben Gamari2019-01-301-7/+7
* Batch mergeBen Gamari2019-01-301-7/+7
* Visible kind applicationmynguyen2019-01-032-14/+21
* Make candidateQTvs contain tyvar with zonked kindsSimon Peyton Jones2018-12-213-0/+27
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-073-6/+7
* Tests Trac #14847Simon Peyton Jones2018-12-062-0/+18
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2923-56/+162
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-224-7/+5
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-154-10/+10
* Actually fail in failIfEmitsConstraintsRichard Eisenberg2018-11-011-6/+0
* Add second test case for #15592Ryan Scott2018-10-303-0/+16
* Fix #15787 by squashing a coercion hole.Richard Eisenberg2018-10-283-0/+26
* Finish fix for #14880.Tobias Dammers2018-10-285-15/+17
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-261-1/+1
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-5/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1537-100/+158
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-042-4/+4
* Distinguish Inferred from Specified tyvarsSimon Peyton Jones2018-10-043-0/+17
* canCFunEqCan: use isTcReflexiveCo (not isTcReflCo)Simon Peyton Jones2018-09-033-0/+93
* Reject class instances with type families in kindsRyan Scott2018-09-021-1/+3
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-282-2/+2
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-166-8/+8
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-0213-53/+93
* Remove the type-checking knot.Richard Eisenberg2018-08-011-1/+1
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-252-3/+3
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-3/+3
View Lorry Controller Status