summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/Subst.hs
Commit message (Expand)AuthorAgeFilesLines
* 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