summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/OccurAnal.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-0/+11
* Fix contification with stable unfoldings (#22428)Sebastian Graf2023-01-121-241/+398
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-211-23/+30
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Fix binder-swap bugSimon Peyton Jones2022-10-251-76/+137
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-5/+11
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-291-1/+1
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-6/+6
* Comments only, about join pointsSimon Peyton Jones2022-06-281-1/+2
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-2/+2
* Comments and white spaceSimon Peyton Jones2022-05-301-2/+2
* Improve "Glomming" noteGergo ERDI2022-05-101-0/+6
* Fix bug in weak loop-breakers in OccurAnalSimon Peyton Jones2022-03-131-10/+24
* Fix some notesMatthew Pickering2022-02-081-4/+4
* Two small improvements in the SimplifierSimon Peyton Jones2022-02-021-1/+6
* Consistently upper-case "Note ["Ben Gamari2022-02-011-3/+3
* Better occurrence analysis with castsSimon Peyton Jones2022-01-261-209/+270
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-3/+2
* Make the occurrence analyser a bit stricterSimon Peyton Jones2021-07-281-29/+31
* Eliminate unnecessary unsafeEqualityProofSimon Peyton Jones2021-07-271-44/+68
* Perf: fix strictness in OccurAnalSylvain Henry2021-07-231-168/+169
* Put tracing functions into their own moduleSylvain Henry2021-06-221-14/+16
* Drop absent bindings in worker/wrapperSimon Peyton Jones2021-06-051-1/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-7/+5
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-4/+5
* Fix occAnalAppSimon Peyton Jones2021-04-201-5/+13
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-1/+1
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-241-52/+111
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* Fix terrible occurrence-analysis bugSimon Peyton Jones2021-03-011-184/+223
* Fix over-eager inlining in SimpleOptSimon Peyton Jones2021-02-141-9/+17
* Fix typosBrian Wignall2021-02-061-2/+2
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-3/+27
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+6
* Fix the occurrence analyserSimon Peyton Jones2020-09-221-471/+573
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+3
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-7/+11
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-4/+4
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+2
* OccurAnal: Avoid exponential behavior due to where clausesBen Gamari2020-06-071-9/+16
* Allow simplification through runRW#Ben Gamari2020-05-291-2/+10
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-1/+1