summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Reduction.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-16/+16
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-25/+11
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-1/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-1/+1
* Use Reductions to keep track of rewritingssheaf2021-08-041-0/+892