summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors/Ppr.hs
Commit message (Expand)AuthorAgeFilesLines
* Add -Wmissing-role-annotationsOleg Grenrus2023-05-161-0/+7
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-151-24/+341
* Improve "ambiguous occurrence" error messagessheaf2023-05-151-15/+44
* Add structured error messages for GHC.Rename.ModuleTorsten Schmits2023-05-051-0/+85
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-1/+172
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-301-58/+185
* Add the Unsatisfiable classsheaf2023-04-291-0/+2
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-251-10/+82
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-181-8/+13
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-151-0/+9
* 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-071-0/+16
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-031-0/+107
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-011-0/+4
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-27/+291
* Handle records in the renamersheaf2023-03-291-99/+146
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-241-3/+12
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-231-0/+57
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-1/+57
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-1/+77
* Add structured error messages for GHC.Tc.Utils.BackpackTorsten Schmits2023-03-171-0/+39
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-061-0/+148
* Explicit migration timeline for loopy SC solvingsheaf2023-02-231-1/+1
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-211-2/+4
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-201-0/+8
* Introduce warning for loopy superclass solvesheaf2023-02-141-1/+22
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-281-0/+111
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-7/+15
* Detect family instance orphans correctlySimon Peyton Jones2023-01-271-1/+2
* Replace errors from badOrigBinding with new one (#22839)Andrei Borzenkov2023-01-271-13/+7
* Parse qualified terms in type signaturesHaskellMouse2023-01-111-0/+9
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-3/+22
* Added a new warning about compatibility with RequiredTypeArgumentsHaskellMouse2023-01-111-2/+17
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-061-5/+1
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-3/+4
* 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-241-0/+91
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-65/+120
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-091-0/+56
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-261-4/+8
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-261-13/+14
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-4/+4
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-241-0/+240
* Rename unsafeOverlap_matches -> unsafeOverlap_match in UnsafeOverlapsheaf2022-10-191-2/+2
* More precise types for fields of OverlappingInstances and UnsafeOverlap in Tc...Bodigrim2022-10-191-5/+5
* Add -fsuppress-error-contexts to disable printing error contexts in errorswip/diagnostics-configMatthew Pickering2022-10-181-5/+16
* Allow configuration of error message printingMatthew Pickering2022-10-181-6/+8
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-1/+38
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-0/+15
* Add diagnostic codessheaf2022-09-131-301/+357
View Lorry Controller Status