summaryrefslogtreecommitdiff
path: root/compiler/types/TyCoSubst.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-1030/+0
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-2/+0
* compiler: Qualify imports of Data.ListBen Gamari2020-02-081-1/+1
* Reform the free variable finders for typesSimon Peyton Jones2020-02-061-14/+16
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+1
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Split up coercionKindSimon Peyton Jones2019-12-061-2/+2
* Break up TyCoRepBen Gamari2019-07-311-0/+1029