summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt
Commit message (Expand)AuthorAgeFilesLines
* Fix occAnalAppSimon Peyton Jones2021-04-201-5/+13
* Worker/wrapper: Refactor CPR WW to work for nested CPR (#18174)wip/nested-cpr-wwSebastian Graf2021-04-202-296/+464
* Worker/wrapper: Consistent namesSebastian Graf2021-04-204-12/+12
* Refactor around `wantToUnbox`Sebastian Graf2021-04-202-80/+68
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-205-111/+135
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-172-90/+132
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2021-04-131-50/+172
* Fix magicDict in ghci (and in the presence of other ticks)Matthew Pickering2021-04-101-2/+2
* Add missing relational constant folding for sized numeric typesJohn Ericson2021-04-101-11/+67
* Re-export GHC.Bits from GHC.Prelude with custom shift implementation.Andreas Klebinger2021-04-091-13/+12
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-081-83/+153
* Stop retaining SimplEnvs in unforced UnfoldingsMatthew Pickering2021-04-081-3/+7
* Change foldl' to inline when partially applied (#19534)James Foster2021-04-071-1/+1
* Make specialisation a bit more aggressiveSimon Peyton Jones2021-04-071-17/+39
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-012-2/+4
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-293-21/+18
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-2811-67/+67
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-261-119/+103
* Add compiler linting to CIHécate2021-03-253-4/+2
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-241-52/+111
* Nested CPR light (#19398)Sebastian Graf2021-03-203-395/+486
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-203-47/+113
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-2013-0/+13
* rename Tickish to CoreTickishLuite Stegeman2021-03-207-7/+7
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-207-7/+8
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-203-5/+5
* Require GHC 8.10 as the minimum compiler for bootstrappingRyan Scott2021-03-091-7/+0
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-031-41/+20
* Fix terrible occurrence-analysis bugSimon Peyton Jones2021-03-014-208/+312
* CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)Sebastian Graf2021-02-281-107/+130
* Don't pass homeUnitId at ExternalPackageState creation time (#10827)Sylvain Henry2021-02-221-10/+9
* CallArity: Small optimisations and strictnessBen Gamari2021-02-171-2/+4
* Avoid useless w/w splitSimon Peyton Jones2021-02-161-84/+122
* Fix over-eager inlining in SimpleOptSimon Peyton Jones2021-02-142-32/+58
* Refactor LoggerSylvain Henry2021-02-138-128/+162
* Reduce inlining in deeply-nested casesSimon Peyton Jones2021-02-093-18/+36
* Fix typosBrian Wignall2021-02-066-10/+10
* Make unsafeDupablePerformIO have a lazy demandAndreas Klebinger2021-02-061-34/+8
* Mark both parameters of SimplM one-shot (#19302)Sebastian Graf2021-02-051-2/+7
* CallArity: Various comment fixesBen Gamari2021-02-051-10/+10
* Make PatSyn immutableSimon Peyton Jones2021-01-291-2/+2
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-293-3/+3
* SimplM: Create uniques via IO instead of threadingAndreas Klebinger2021-01-282-56/+46
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-308/+361
* Make DmdAnalOpts a newtypeAndreas Klebinger2021-01-222-3/+3
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-2219-87/+86
* Add missing fixed-sized primops and constant foldingJohn Ericson2021-01-221-32/+408
* Cleanup primop constant folding rules in a few waysJohn Ericson2021-01-221-27/+21
* Bignum: fix for Integer/Natural Ord instancesSylvain Henry2021-01-171-0/+12
* Revert "Remove SpecConstrAnnotation (#13681)" (#19168)Sylvain Henry2021-01-171-26/+79
View Lorry Controller Status