summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/FVs.hs
Commit message (Expand)AuthorAgeFilesLines
* Detect family instance orphans correctlySimon Peyton Jones2023-01-271-13/+10
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-191-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-13/+24
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-1/+8
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-4/+4
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+2
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-3/+3
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-4/+4
* DmdAnal: Keep alive RULE vars in LetUp (#18971)Sebastian Graf2020-12-231-72/+54
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-121-4/+3
* Fix the occurrence analyserSimon Peyton Jones2020-09-221-9/+8
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-171-1/+10
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+3
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-2/+2
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-4/+19
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-1/+6
* Modules: Types (#13009)Sylvain Henry2020-03-291-9/+9
* Modules: Core (#13009)Sylvain Henry2020-03-161-6/+6
* Modules: Core (#13009)Sylvain Henry2020-02-261-0/+777