summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Multiple Home UnitsMatthew Pickering2021-12-281-1/+3
* Fix typosKrzysztof Gogolewski2021-12-2510-14/+14
* Make callerCC profiling mode represent entry counter flag.Andreas Klebinger2021-12-231-2/+3
* Give plugins a better interface (#17957)Sylvain Henry2021-12-211-1/+1
* Perf: inline exprIsCheapXSylvain Henry2021-12-171-2/+5
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-171-54/+10
* Add `Opt_CoreConstantFolding` to turn on constant folding (#20500)Gergo ERDI2021-12-091-1/+2
* Use same optimization pipeline regardless of `optLevel` (#20500)Gergo ERDI2021-12-091-13/+9
* Use `simplify` in non-optimizing build pipeline (#20500)Gergo ERDI2021-11-251-4/+2
* Misc cleanupKrzysztof Gogolewski2021-11-254-33/+6
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-256-146/+254
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-251-1/+7
* Revert "Convert lookupIdSubst panic back to a warning (#20200)"Matthew Pickering2021-11-251-6/+4
* Better wrapper activation calculationSimon Peyton Jones2021-11-221-29/+44
* Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)Zubin Duggal2021-11-201-0/+6
* Add one line of comments (c.f. !5706)Simon Peyton Jones2021-11-181-0/+1
* Increase type sharingBen Gamari2021-11-179-121/+235
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-151-0/+56
* Refactoring: Move DataConEnv to GHC.Core.DataConRyan Scott2021-11-152-2/+5
* Get the in-scope set right in simplArgSimon Peyton Jones2021-11-121-2/+5
* Fix Note [Function types]Richard Eisenberg2021-11-101-37/+29
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-093-27/+55
* SpecConstr - Attach evaldUnfolding to known evaluated arguments.Andreas Klebinger2021-11-091-31/+153
* Don't undersaturate join points through eta-reduction.Andreas Klebinger2021-11-071-1/+6
* Fix Int64ToInt/Word64ToWord rules on 32-bit architecturesSylvain Henry2021-11-061-8/+8
* Add missing Int64/Word64 constant-folding rulesSylvain Henry2021-11-061-0/+16
* Tiny renamings and doc updatesRichard Eisenberg2021-11-041-49/+53
* Update comment in Lint.hs Andreas Klebinger2021-11-011-1/+1
* WorkWrap: Update Unfolding with WW'd body prior to `tryWW` (#20510)Sebastian Graf2021-10-293-92/+98
* Don't default type variables in type familiessheaf2021-10-261-0/+1
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-247-288/+413
* WorkWrap: `isRecDataCon` should not eta-reduce NewTyCon field tys (#20539)Sebastian Graf2021-10-221-1/+3
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-221-2/+14
* Bignum: allow Integer's signum to inline (#20361)Sylvain Henry2021-10-201-1/+0
* Bignum: allow Integer predicates to inline (#20361)Sylvain Henry2021-10-201-7/+0
* Bignum: constant folding for bigNatCompareWord# (#20361)Sylvain Henry2021-10-201-2/+3
* WW: Use module name rather than filename for absent error messagesMatthew Pickering2021-10-193-11/+12
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-178-171/+350
* Reject GADT pattern matches in arrow notationsheaf2021-10-092-0/+12
* Bignum: remove outdated commentSylvain Henry2021-10-071-8/+0
* Bignum: allow naturalToWordClamp/Negate/Signum to inline (#20361)Sylvain Henry2021-10-071-14/+3
* Bignum: allow inlining of naturalEq/Ne/Gt/Lt/Ge/Le/Compare (#20361)Sylvain Henry2021-10-071-38/+14
* Bignum: allow naturalEq#/Ne# to inline (#20361)Sylvain Henry2021-10-071-2/+11
* Remove the Maybe in primRepName's typeRyan Scott2021-10-061-8/+9
* Constant folding for (.&.) maxBound (#20448)Sylvain Henry2021-10-051-0/+6
* Ensure top-level binders in scope in SetLevelsSimon Peyton Jones2021-10-051-30/+37
* CprAnal: Activate Sum CPR for local bindingsSebastian Graf2021-10-051-64/+12
* Simplifier: Get rid of demand zapping based on Note [Arity decrease]Sebastian Graf2021-10-051-32/+3
* WorkWrap: Nuke CPR signatures of join points (#18824)Sebastian Graf2021-10-051-23/+29
* Constant folding for negate (#20347)Sylvain Henry2021-10-041-16/+49
View Lorry Controller Status