summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-011-1/+1
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-3/+4
* Kill derived constraintsRichard Eisenberg2022-02-232-5/+7
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-056-26/+27
* Rework the handling of SkolemInfoMatthew Pickering2022-01-2913-17/+17
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-174-8/+8
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-174-29/+1
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Reword: representation instead of levitysheaf2021-06-102-5/+6
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-192-2/+2
* Fix newtype eta-reductionSimon Peyton Jones2021-05-075-0/+48
* Fix an levity-polymorphism errorSimon Peyton Jones2021-03-202-0/+12
* GHC Exactprint main commitAlan Zimmerman2021-03-201-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-1048-44/+75
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-074-6/+4
* Zonk the returned kind in tcFamTyPatsSimon Peyton Jones2021-01-302-0/+13
* Remove some redundant validity checks.Richard Eisenberg2021-01-273-5/+7
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-093-1/+30
* 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