summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* GHC.Core.Opt renamingSylvain Henry2020-04-1833-188/+188
* Fix #18065 by fixing an InstCo oversight in Core LintRyan Scott2020-04-171-6/+6
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-5/+9
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-145-12/+15
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-122-1/+45
* Significant refactor of LintSimon Peyton Jones2020-04-122-518/+532
* DmdAnal: No need to attach a StrictSig to DataCon workersSebastian Graf2020-04-093-5/+23
* Special case `isConstraintKindCon` on `AlgTyCon`Sebastian Graf2020-04-092-4/+10
* Modules: type-checker (#13009)Sylvain Henry2020-04-0721-82/+82
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-071-15/+20
* Refactoring onlySimon Peyton Jones2020-04-061-25/+36
* Fix an tricky specialiser loopSimon Peyton Jones2020-04-061-123/+206
* Major improvements to the specialiserSimon Peyton Jones2020-04-033-388/+527
* Preserve precise exceptions in strictness analysisSebastian Graf2020-04-021-3/+6
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-028-592/+596
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-014-14/+21
* Require GHC 8.8 as the minimum compiler for bootstrappingRyan Scott2020-03-315-23/+5
* Minor cleanupKrzysztof Gogolewski2020-03-291-4/+4
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-293-96/+117
* Modules: Types (#13009)Sylvain Henry2020-03-2960-427/+428
* DynFlags refactoring IIISylvain Henry2020-03-259-550/+562
* Remove -fkill-absence and -fkill-one-shot flagsSebastian Graf2020-03-251-7/+2
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-205-12/+65
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-202-5/+55
* Modules: Core operations (#13009)Sylvain Henry2020-03-1833-42/+30284
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-174-7/+26
* Implement mapTyCo like foldTyCoSimon Peyton Jones2020-03-171-71/+90
* Modules: Core (#13009)Sylvain Henry2020-03-1641-84/+22603
* Remove some dead codeBrian Foley2020-03-151-14/+1
* Improve CSE.combineAltsSimon Peyton Jones2020-03-141-4/+21
* Simple refactor of cheapEqExprSimon Peyton Jones2020-03-141-16/+14
* Fix LintSimon Peyton Jones2020-03-141-56/+107
* Split GHC.Iface.Utils moduleSylvain Henry2020-03-111-2/+2
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-102-3/+3
* Clarify a Lint messageBen Price2020-03-101-3/+2
* Modules: Core (#13009)Sylvain Henry2020-02-2616-0/+15664