summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors
Commit message (Expand)AuthorAgeFilesLines
* Add -Wmissing-role-annotationsOleg Grenrus2023-05-162-0/+19
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-152-89/+699
* Improve "ambiguous occurrence" error messagessheaf2023-05-152-16/+46
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-1/+1
* Add structured error messages for GHC.Rename.ModuleTorsten Schmits2023-05-052-0/+132
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-052-2/+326
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-302-78/+373
* Add the Unsatisfiable classsheaf2023-04-292-2/+7
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-252-11/+114
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-182-17/+20
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-1/+1
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-152-0/+18
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-5/+5
* Add structured error messages for GHC.Tc.TyCl.UtilsTorsten Schmits2023-04-072-0/+29
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-032-1/+277
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-012-0/+6
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-012-44/+651
* Handle records in the renamersheaf2023-03-294-204/+278
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-242-5/+30
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-232-2/+111
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-222-1/+101
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-212-3/+146
* Add structured error messages for GHC.Tc.Utils.BackpackTorsten Schmits2023-03-172-1/+92
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-062-0/+371
* Explicit migration timeline for loopy SC solvingsheaf2023-02-231-1/+1
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-212-3/+9
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-202-0/+22
* Introduce warning for loopy superclass solvesheaf2023-02-142-1/+39
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-282-0/+281
* Report family instance orphans correctlySimon Peyton Jones2023-01-272-12/+20
* Detect family instance orphans correctlySimon Peyton Jones2023-01-271-1/+2
* Replace errors from badOrigBinding with new one (#22839)Andrei Borzenkov2023-01-272-39/+23
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-181-1/+1
* Parse qualified terms in type signaturesHaskellMouse2023-01-112-0/+10
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-3/+22
* Added a new warning about compatibility with RequiredTypeArgumentsHaskellMouse2023-01-112-2/+27
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-062-6/+2
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-242-22/+21
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-8/+8
* Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)Andrei Borzenkov2022-11-242-0/+250
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-113-73/+138
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-092-0/+143
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-5/+6
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-262-5/+9
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-262-14/+21
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-4/+4
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-242-0/+497
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-192-3/+3
View Lorry Controller Status