summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Fix a few Note inconsistenciesBen Gamari2022-02-0123-61/+62
* Consistently upper-case "Note ["Ben Gamari2022-02-0110-14/+14
* Rework the handling of SkolemInfoMatthew Pickering2022-01-294-39/+58
* Add an Outputable instance for RecTcCheckerSimon Peyton Jones2022-01-271-0/+4
* Improve partial signaturesSimon Peyton Jones2022-01-271-3/+6
* Better occurrence analysis with castsSimon Peyton Jones2022-01-265-291/+327
* Simplifier: Do the right thing if doFloatFromRhs = FalseJoachim Breitner2022-01-261-7/+7
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-268-208/+529
* Ensure that order of instances doesn't mattersheaf2022-01-261-34/+239
* Levity-polymorphic arrays and mutable variablessheaf2022-01-264-32/+92
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-1113-24/+28
* Thoughtful forcing in CoreUnfoldingMatthew Pickering2022-01-071-5/+60
* Use primOpIds cache more often (#20857)Sylvain Henry2022-01-062-10/+19
* 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
View Lorry Controller Status