summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Plugin.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-5/+0
* TcPlugins: `newWanted` uses the provided `CtLoc`sheaf2022-01-111-3/+3
* Multiple Home UnitsMatthew Pickering2021-12-281-9/+2
* More support for optional home-unitSylvain Henry2021-11-201-7/+8
* Refactor package importsSylvain Henry2021-10-221-2/+2
* Canonicalize bignum literalsSylvain Henry2021-09-111-0/+7
* Add rewriting to typechecking pluginssheaf2021-08-131-30/+31
* Use Reductions to keep track of rewritingssheaf2021-08-041-2/+3
* Introduce FinderLocations for decoupling Finder from DynFlagsFendor2021-07-231-1/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Refactor FinderCacheSylvain Henry2021-03-261-1/+5
* Remove flattening variablesRichard Eisenberg2020-12-011-2/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-6/+7
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+190