summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/Simplify
Commit message (Expand)AuthorAgeFilesLines
* compiler: Use compact representation for SourceTextZubin Duggal2023-05-161-1/+1
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-3/+3
* Add quotRem rules (#22152)Sylvain Henry2023-04-131-0/+9
* Simplifier: `countValArgs` should not count Type args (#23102)Sebastian Graf2023-03-131-1/+1
* Simplify: Move `wantEtaExpansion` before expensive `do_eta_expand` checkSebastian Graf2023-03-101-5/+6
* Fix shadowing bug in prepareAltsSimon Peyton Jones2023-02-242-13/+26
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-103-148/+182
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-082-32/+12
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-1/+1
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-6/+5
* Assorted changes to avoid Data.List.{head,tail}Bodigrim2023-01-281-1/+1
* Separate core inlining logic from `Unfolding` type.Andreas Klebinger2023-01-163-0/+557
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-221-1/+1
* Abstract over the right free varsSimon Peyton Jones2022-12-211-51/+75
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-132-3/+3
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-011-33/+54
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+1
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-191-6/+56
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-114-13/+13
* 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
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-102-2/+2
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-032-2/+0
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-251-1/+2
* Fix binder-swap bugSimon Peyton Jones2022-10-251-13/+15
* Scrub some partiality in `GHC.Core.Opt.Simplify.Utils`.M Farkas-Dyck2022-10-211-8/+9
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-4/+0
* Don't keep exit join points so muchSimon Peyton Jones2022-10-112-12/+32
* Make rewrite rules "win" over inliningwip/T21851-rule-winSimon Peyton Jones2022-10-102-157/+216
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-291-3/+3
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-282-5/+5
* Improve aggressive specialisationSimon Peyton Jones2022-09-281-20/+11
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-271-5/+1
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-142-6/+6
* Add a missing trimArityTypeSimon Peyton Jones2022-08-311-136/+20
* Improve SpecConstr for evalsSimon Peyton Jones2022-08-271-1/+1
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-252-48/+147
* 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
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-042-15/+16
* Switch off eta-expansion in rules and unfoldingsSimon Peyton Jones2022-07-251-8/+14
* Refactored Simplify passDominik Peteler2022-07-224-175/+4628
* Flags to disable local let-floating; -flocal-float-out, -flocal-float-out-top...Vanessa McHale2022-06-222-7/+19
* Simplify: Take care with eta reduction in recursive RHSs (#21652)Sebastian Graf2022-06-202-27/+28
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-302-143/+177
* Make findRhsArity take RecFlagSimon Peyton Jones2022-05-301-3/+3
* Do arity trimming at bindings, rather than in exprAritySimon Peyton Jones2022-05-301-0/+4
* Factor out `initArityOps` to `GHC.Driver.Config.*` moduleJohn Ericson2022-05-261-6/+2
View Lorry Controller Status