summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types
Commit message (Expand)AuthorAgeFilesLines
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-152-13/+18
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-125-26/+25
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-057-21/+21
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-142-8/+9
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-0114-16/+16
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-061-2/+2
* Report family instance orphans correctlySimon Peyton Jones2023-01-2711-0/+73
* Detect family instance orphans correctlySimon Peyton Jones2023-01-276-0/+42
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-115-20/+15
* Fix bogus test in LintSimon Peyton Jones2022-12-152-0/+11
* Add Javascript backendSylvain Henry2022-11-291-1/+1
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-292-3/+3
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-256-16/+16
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+1
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-0915-10/+47
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-1/+1
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-132-7/+9
* Improve aggressive specialisationSimon Peyton Jones2022-09-281-4/+0
* Diagnostic codes: acccept test changessheaf2022-09-13110-224/+226
* Print constraints in quotes (#21167)Swann Moreau2022-08-199-18/+18
* 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
View Lorry Controller Status