summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Expand synonyms in mkCastTy when necessaryRyan Scott2021-04-291-20/+51
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-21/+3
* Introduce -ddump-verbose-inliningsBen Gamari2021-04-271-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-2611-3/+30
* 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-207-16/+16
* Refactor around `wantToUnbox`Sebastian Graf2021-04-203-81/+69
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-206-112/+148
* Fix Haddock referenceBen Gamari2021-04-181-1/+1
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-172-90/+132
* Add isInjectiveTyCon check to opt_univ (fixes #19509)Adam Gundry2021-04-141-0/+18
* 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
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-082-84/+154
* Stop retaining SimplEnvs in unforced UnfoldingsMatthew Pickering2021-04-082-4/+8
* 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-013-3/+5
* EPA : rename 'api annotations' to 'exact print annotations'Alan Zimmerman2021-03-312-2/+2
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-294-24/+21
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-2819-88/+88
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-264-142/+177
* Add compiler linting to CIHécate2021-03-254-5/+2
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-242-53/+116
* Nested CPR light (#19398)Sebastian Graf2021-03-203-395/+486
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-204-48/+117
* Generate GHCi bytecode from STG instead of Core and support unboxedLuite Stegeman2021-03-201-5/+6
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-2025-0/+25
* rename Tickish to CoreTickishLuite Stegeman2021-03-2016-32/+38
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-2016-30/+34
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-209-18/+22
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-5/+8
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-143-86/+130
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-091-1/+1
* Replace Ord TyLit with nonDetCmpTyLit (#19441)Vladislav Zavialov2021-03-092-11/+21
* Require GHC 8.10 as the minimum compiler for bootstrappingRyan Scott2021-03-091-7/+0
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-074-84/+143
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-4/+12
* 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
* Move absentError into ghc-prim.Andreas Klebinger2021-02-261-1/+7
* Don't pass homeUnitId at ExternalPackageState creation time (#10827)Sylvain Henry2021-02-222-13/+16
* TypeMap: Use mkTyConTy instead of TyConApp constructorBen Gamari2021-02-181-1/+1
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-186-172/+215