summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Make SpecConstr bale out less oftenSimon Peyton Jones2022-10-111-67/+85
* Don't keep exit join points so muchSimon Peyton Jones2022-10-115-41/+113
* Make rewrite rules "win" over inliningwip/T21851-rule-winSimon Peyton Jones2022-10-102-157/+216
* Scrub various partiality involving empty lists.M Farkas-Dyck2022-09-301-1/+3
* Boxity: Don't update Boxity unless worker/wrapper follows (#21754)wip/T21754Sebastian Graf2022-09-303-14/+72
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-295-21/+21
* Avoid Data.List.group; prefer Data.List.NonEmpty.groupBodigrim2022-09-281-12/+12
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-289-121/+119
* Improve aggressive specialisationSimon Peyton Jones2022-09-285-165/+169
* Apply some tricks to speed up core lint.Andreas Klebinger2022-09-285-59/+168
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-1/+7
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-272-19/+5
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-1/+1
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-4/+11
* Clean up some. In particular:M Farkas-Dyck2022-09-173-12/+7
* Fix typosKrzysztof Gogolewski2022-09-1415-20/+20
* Fix typosEric Lindblad2022-09-1433-91/+91
* Add diagnostic codessheaf2022-09-133-10/+6
* Minor SDoc cleanupKrzysztof Gogolewski2022-09-071-1/+1
* whitespaceEric Lindblad2022-09-071-1/+1
* typosEric Lindblad2022-09-072-5/+5
* DmdAnal: Don't panic in addCaseBndrDmd (#22039)Sebastian Graf2022-09-051-18/+57
* Fix bootstrap with ghc-9.0Matthew Pickering2022-09-011-0/+9
* Minor cleanupKrzysztof Gogolewski2022-09-013-25/+5
* Add a missing trimArityTypeSimon Peyton Jones2022-08-312-146/+166
* Fix a nasty loop in TidySimon Peyton Jones2022-08-271-17/+20
* Use Solo to avoid retaining the SCE but to avoid performing the substitutionMatthew Pickering2022-08-271-4/+18
* Force imposs_deflt_cons in filterAltsMatthew Pickering2022-08-271-1/+5
* Avoid retaining bindings via ModGuts held on the stackMatthew Pickering2022-08-272-19/+24
* Revert "Revert "Refactor SpecConstr to use treat bindings uniformly""Matthew Pickering2022-08-271-263/+259
* Improve SpecConstr for evalsSimon Peyton Jones2022-08-272-15/+73
* Pmc: consider any 2 dicts of the same type equalsheaf2022-08-261-1/+0
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-2510-471/+672
* Unbreak Haddock comments in `GHC.Core.Opt.WorkWrap.Utils`.M Farkas-Dyck2022-08-241-13/+12
* Revert "Refactor SpecConstr to use treat bindings uniformly"Matthew Pickering2022-08-191-260/+264
* Force `getOccFS bndr` to avoid retaining reference to Bndr.Matthew Pickering2022-08-191-2/+5
* Make ru_fn field strict to avoid retaining IdsMatthew Pickering2022-08-191-1/+2
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-112-2/+6
* Fix size_up_alloc to account for UnliftedDatatypessheaf2022-08-091-4/+3
* Change `-fprof-late` to insert cost centres after unfolding creation.Andreas Klebinger2022-08-062-27/+122
* Add a note about about W/W for unlifting strict argumentsAndreas Klebinger2022-08-041-0/+47
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-0420-578/+504
* Add -dsuppress-coercion-types to make coercions even smaller.Andreas Klebinger2022-08-021-2/+6
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-255-42/+46
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-254-109/+172
* Switch off eta-expansion in rules and unfoldingsSimon Peyton Jones2022-07-251-8/+14
* Fix a small buglet in tryEtaReduceSimon Peyton Jones2022-07-252-7/+9
* More improvements to worker/wrapperSimon Peyton Jones2022-07-252-142/+161
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-1/+8
* Make the specialiser deal better with specialised methodsSimon Peyton Jones2022-07-222-187/+230