summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-153-11/+14
* Split DynFlags structure into own moduleOleg Grenrus2023-05-151-1/+1
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-125-219/+313
* Add the Unsatisfiable classsheaf2023-04-292-1/+2
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-251-4/+2
* Don't panic in ltPatersonSizesheaf2023-04-181-20/+35
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-183-41/+44
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-153-21/+40
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-151-0/+4
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-144-235/+774
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-2/+2
* Handle records in the renamersheaf2023-03-293-40/+50
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-29/+5
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-1/+1
* Be more careful about quantificationSimon Peyton Jones2023-03-222-77/+95
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-47/+28
* Add structured error messages for GHC.Tc.Utils.BackpackTorsten Schmits2023-03-171-21/+3
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-211-4/+5
* Minor refactorKrzysztof Gogolewski2023-02-042-6/+4
* Report family instance orphans correctlySimon Peyton Jones2023-01-272-14/+46
* EPA: Add SourceText to HsOverLabelAlan Zimmerman2023-01-231-1/+1
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-115-111/+317
* Misc cleanupKrzysztof Gogolewski2023-01-051-2/+6
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-243-62/+9
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-242-3/+4
* backpack: Be more careful when adding together ImportAvailsMatthew Pickering2022-12-081-9/+21
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-2/+2
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-0/+3
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-16/+17
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-234-7/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-118-456/+234
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-1/+1
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+1
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-012-12/+12
* Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)Aaron Allen2022-10-242-2/+2
* Allow configuration of error message printingMatthew Pickering2022-10-181-8/+14
* Clean up some. In particular:M Farkas-Dyck2022-09-171-2/+2
* Fix typosKrzysztof Gogolewski2022-09-143-4/+4
* Fix typosEric Lindblad2022-09-145-14/+14
* Add diagnostic codessheaf2022-09-134-15/+20
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-044-54/+51
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-251-2/+20
* Implement DeepSubsumptionSimon Peyton Jones2022-07-252-155/+529
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-6/+6
* TTG: Move ImpExp client-independent bits to L.H.S.ImpExpromes2022-07-031-2/+0
* TTG: Move HsModule to L.H.Sromes2022-07-031-0/+2
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-4/+4
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-3/+3
* TTG: Rework and improve splicesromes2022-06-011-3/+2
View Lorry Controller Status