summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2419-52/+93
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+3
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-193-12/+12
* Fix visible forall in ppr_ty (#18522)Vladislav Zavialov2020-08-063-0/+6
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-247-0/+58
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-033-0/+21
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-022-2/+2
* Update testsuiteSylvain Henry2020-06-172-4/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* base: Bump to 4.15.0.0Ben Gamari2020-06-172-4/+4
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-104-5/+5
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0531-143/+121
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Add regression tests for #16244, #16245, #16758Ryan Scott2020-05-055-0/+46
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-072-2/+2
* Add regression test for #17963Ryan Scott2020-03-313-0/+29
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-206-47/+45
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-173-7/+7
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-144-1/+22
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-129-12/+16
* 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
View Lorry Controller Status