summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/Subst.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-3/+3
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-11/+21
* Broaden the in-scope sets for liftEnvSubst and composeTCvSubstRyan Scott2022-10-261-2/+7
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-243/+291
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-4/+4
* Fix several note referencesKrzysztof Gogolewski2022-05-021-2/+2
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Increase type sharingBen Gamari2021-11-171-2/+2
* Only create callstack in DEBUG buildsSylvain Henry2021-08-021-16/+16
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-34/+36
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-5/+8
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-1/+1
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-0/+8
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-1/+3
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-3/+1
* Optimise nullary type constructor usageBen Gamari2020-12-141-1/+3
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-2/+2
* Avoid iterating twice in `zipTyEnv` (#18535)theobat2020-09-121-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-6/+8
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-9/+28
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+1032
View Lorry Controller Status