summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-244-0/+80
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-172-1/+5
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-154-4/+6
* Implement BoxedRep proposalAndrew Martin2020-12-144-6/+4
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-082-6/+6
* Remove flattening variablesRichard Eisenberg2020-12-011-5/+3
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-262-2/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-0616-13/+82
* Fix two constraint solving problemsSimon Peyton Jones2020-10-272-0/+19
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-272-2/+2
* Extend mAX_TUPLE_SIZE to 64GHC GitLab CI2020-10-152-11/+13
* 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
View Lorry Controller Status