summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* driver: Don't create LinkNodes when -no-link is enabledMatthew Pickering2022-07-281-2/+2
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-253-0/+34
* Implement DeepSubsumptionSimon Peyton Jones2022-07-252-9/+11
* 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-0619-19/+27
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-1/+1
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-011-1/+1
* Minor cleanupKrzysztof Gogolewski2022-04-011-2/+0
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-154-1/+4
* Make Constraint not *apart* from Type.Richard Eisenberg2022-03-023-0/+15
* Kill derived constraintsRichard Eisenberg2022-02-2325-106/+176
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-052-17/+17
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-4/+4
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-178-8/+8
* Multiple Home UnitsMatthew Pickering2021-12-281-2/+2
* Include "not more specific" info in overlap msgsheaf2021-11-203-15/+17
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-083-1/+19
* Show family TyCons in mk_dict_error in the case of a single matchZiyang Liu2021-10-294-0/+61
* Don't default type variables in type familiessheaf2021-10-263-1/+32
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-227-0/+54
* Improve overlap error for polykinded constraintssheaf2021-10-064-2/+28
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-151-3/+21
* Update expected stderr for affected tests, which are not under Tc directoryCarrieMY2021-07-281-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-4/+19
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-193-3/+3
* Always generate ModDetails from ModIfaceMatthew Pickering2021-04-143-18/+18
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-052-3/+3
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-292-4/+4
* GHC Exactprint main commitAlan Zimmerman2021-03-202-2/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-1067-76/+123
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-017-36/+46
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-8/+7
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-133-0/+48
* Fix typosBrian Wignall2021-02-061-1/+1
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-5/+5
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-22/+6
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-085-10/+47
* Remove flattening variablesRichard Eisenberg2020-12-0123-63/+166
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-262-2/+2
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-272-2/+2
* Unification of Nat and NaturalsHaskellMouse2020-10-132-1/+2
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-092-0/+34
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-10/+8
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-0911-8/+33
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-4/+4
View Lorry Controller Status