summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt
Commit message (Expand)AuthorAgeFilesLines
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-112-75/+131
* Misc cleanupKrzysztof Gogolewski2023-01-111-3/+1
* Handle shadowing in DmdAnal (#22718)Sebastian Graf2023-01-091-7/+31
* Make FloatIn robust to shadowingSimon Peyton Jones2023-01-071-103/+158
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-223-3/+3
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-212-23/+34
* Abstract over the right free varsSimon Peyton Jones2022-12-212-51/+108
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-132-3/+3
* Do not strictify a DFun's parameter dictionaries (#22549)Sebastian Graf2022-12-081-38/+62
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-0/+5
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-012-34/+59
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-302-4/+4
* Be a bit more selective about floating bottoming expressionsSimon Peyton Jones2022-11-291-43/+60
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-253-22/+26
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-234-14/+8
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-191-6/+56
* Implement UNPACK support for sum types.Madeline Haraj2022-11-141-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1114-115/+109
* Weaken wrinkle 1 of Note [Scrutinee Constant Folding]Matthew Craven2022-11-111-16/+101
* Use a more efficient printer for code generation (#21853)Krzysztof Gogolewski2022-11-111-0/+1
* Add a fast path for data constructor workersSimon Peyton Jones2022-11-112-18/+54
* Boxity: Handle argument budget of unboxed tuples correctly (#21737)Sebastian Graf2022-11-102-50/+174
* WorkWrap: Unboxing unboxed tuples is not always useful (#22388)Sebastian Graf2022-11-101-12/+28
* Make indexError work betterSimon Peyton Jones2022-11-101-0/+3
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-106-136/+209
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-0312-13/+0
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-281-3/+3
* Add missing dict binds to specialiserSimon Peyton Jones2022-10-271-8/+6
* Cleanup String/FastString conversionsKrzysztof Gogolewski2022-10-251-19/+19
* Enable popcount rewrite rule when cross-compilingSylvain Henry2022-10-251-1/+1
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-252-63/+258
* Fix binder-swap bugSimon Peyton Jones2022-10-254-103/+162
* Delete `eqExpr`, since GHC 9.4 has been released.M Farkas-Dyck2022-10-211-1/+1
* Scrub some partiality in `GHC.Core.Opt.Simplify.Utils`.M Farkas-Dyck2022-10-211-8/+9
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-192-7/+14
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-175-13/+10
* DmdAnal: Look through unfoldings of DataCon wrappers (#22241)Sebastian Graf2022-10-172-1/+47
* 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-284-39/+50
* Improve aggressive specialisationSimon Peyton Jones2022-09-284-148/+137
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-272-19/+5
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-4/+11
* Fix typosKrzysztof Gogolewski2022-09-148-11/+11
* Fix typosEric Lindblad2022-09-1416-56/+56