summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-1/+1
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-146-46/+9
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-034-18/+19
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-1/+1
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-222-2/+2
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-061-1/+1
* Add test for T22793Simon Peyton Jones2023-03-043-0/+62
* Fix #22742Simon Peyton Jones2023-01-233-0/+15
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-133-0/+18
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-243-11/+6
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-292-6/+4
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-253-14/+13
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-112-4/+2
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-013-0/+63
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-2/+2
* Diagnostic codes: acccept test changessheaf2022-09-1377-113/+113
* Print constraints in quotes (#21167)Swann Moreau2022-08-195-5/+5
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-2/+2
* Bump ghc-prim and base versionsBen Gamari2022-06-272-2/+2
* Deprecate TypeInType extensionHaskellMouse2022-06-0621-23/+32
* 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
View Lorry Controller Status