summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* Delete `eqExpr`, since GHC 9.4 has been released.M Farkas-Dyck2022-10-211-9/+1
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-6/+8
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-0/+23
* Fix typosEric Lindblad2022-09-141-2/+2
* Force imposs_deflt_cons in filterAltsMatthew Pickering2022-08-271-1/+5
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-57/+2
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-1/+1
* Fix a small buglet in tryEtaReduceSimon Peyton Jones2022-07-251-1/+1
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-70/+234
* CorePrep: Don't speculatively evaluate recursive calls (#20836)Sebastian Graf2022-06-201-26/+38
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-373/+3
* Make PrimOpId record levitySimon Peyton Jones2022-05-301-2/+2
* Eta reduction with casted functionSimon Peyton Jones2022-05-301-7/+22
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-231-1/+0
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+1
* CoreLint - When checking for levity polymorphism look through more ticks.Andreas Klebinger2022-05-041-1/+15
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-3/+10
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* exprIsDeadEnd: Use isDeadEndAppSig to check if a function appliction is botto...Andreas Klebinger2022-05-011-1/+1
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-1/+0
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-101/+212
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-22/+30
* Minor cleanupKrzysztof Gogolewski2022-04-011-4/+4
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-9/+19
* Improve out-of-order inferred type variablessheaf2022-03-021-11/+26
* Make -dannot-lint not panic on let bound type variablesMatthew Pickering2022-03-021-1/+8
* Tag inference work.Andreas Klebinger2022-02-121-5/+86
* Add late cost centre supportAndreas Klebinger2022-02-101-1/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-5/+7
* Better occurrence analysis with castsSimon Peyton Jones2022-01-261-27/+2
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-5/+11
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-2/+2
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-3/+4
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Perf: inline exprIsCheapXSylvain Henry2021-12-171-2/+5
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-251-83/+49
* Don't undersaturate join points through eta-reduction.Andreas Klebinger2021-11-071-1/+6
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-43/+2
* CoreUtils: Make exprIsHNF return True for unlifted variables (#20140)Sebastian Graf2021-09-181-0/+2
* Use Reductions to keep track of rewritingssheaf2021-08-041-2/+3
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-10/+18
* Eliminate unnecessary unsafeEqualityProofSimon Peyton Jones2021-07-271-6/+34
* Inliner: Regard LitRubbish as TrivArg and not ConLikeSebastian Graf2021-06-271-1/+3
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-1/+1
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-19/+23
* Reword: representation instead of levitysheaf2021-06-101-8/+10
* Drop absent bindings in worker/wrapperSimon Peyton Jones2021-06-051-3/+9
* WW: Mark absent errors as diverging againSebastian Graf2021-06-021-4/+1
View Lorry Controller Status