summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Map
Commit message (Expand)AuthorAgeFilesLines
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-1/+4
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-112-66/+26
* Delete `eqExpr`, since GHC 9.4 has been released.M Farkas-Dyck2022-10-211-3/+3
* Make `Functor` a superclass of `TrieMap`, which lets us derive the `map` func...M Farkas-Dyck2022-10-182-67/+77
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+0
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-252-49/+194
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-3/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-3/+3
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-3/+3
* TypeMap: Use mkTyConTy instead of TyConApp constructorBen Gamari2021-02-181-1/+1
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-091-1/+1
* The Char kind (#11342)Daniel Rogozin2021-02-061-8/+12
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-9/+9
* Remove flattening variablesRichard Eisenberg2020-12-012-4/+84
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-012-0/+870