summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-1/+1
* Fix a small buglet in tryEtaReduceSimon Peyton Jones2022-07-251-1/+1
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-70/+234
* CorePrep: Don't speculatively evaluate recursive calls (#20836)Sebastian Graf2022-06-201-26/+38
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-373/+3
* Make PrimOpId record levitySimon Peyton Jones2022-05-301-2/+2
* Eta reduction with casted functionSimon Peyton Jones2022-05-301-7/+22
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-231-1/+0
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+1
* CoreLint - When checking for levity polymorphism look through more ticks.Andreas Klebinger2022-05-041-1/+15
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-3/+10
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* exprIsDeadEnd: Use isDeadEndAppSig to check if a function appliction is botto...Andreas Klebinger2022-05-011-1/+1
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-1/+0
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-101/+212
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-22/+30
* Minor cleanupKrzysztof Gogolewski2022-04-011-4/+4
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-9/+19
* Improve out-of-order inferred type variablessheaf2022-03-021-11/+26
* Make -dannot-lint not panic on let bound type variablesMatthew Pickering2022-03-021-1/+8
* Tag inference work.Andreas Klebinger2022-02-121-5/+86
* Add late cost centre supportAndreas Klebinger2022-02-101-1/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-5/+7
* Better occurrence analysis with castsSimon Peyton Jones2022-01-261-27/+2
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-5/+11
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-2/+2
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-3/+4
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Perf: inline exprIsCheapXSylvain Henry2021-12-171-2/+5
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-251-83/+49
* Don't undersaturate join points through eta-reduction.Andreas Klebinger2021-11-071-1/+6
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-43/+2
* CoreUtils: Make exprIsHNF return True for unlifted variables (#20140)Sebastian Graf2021-09-181-0/+2
* Use Reductions to keep track of rewritingssheaf2021-08-041-2/+3
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-10/+18
* Eliminate unnecessary unsafeEqualityProofSimon Peyton Jones2021-07-271-6/+34
* Inliner: Regard LitRubbish as TrivArg and not ConLikeSebastian Graf2021-06-271-1/+3
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-1/+1
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-19/+23
* Reword: representation instead of levitysheaf2021-06-101-8/+10
* Drop absent bindings in worker/wrapperSimon Peyton Jones2021-06-051-3/+9
* WW: Mark absent errors as diverging againSebastian Graf2021-06-021-4/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-7/+3
* Fully remove HsVersions.hSylvain Henry2021-05-121-9/+7
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-10/+12
* Make sized division primops ok-for-spec (#19026)Sylvain Henry2021-04-301-14/+1
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-1/+1
* Refactor around `wantToUnbox`Sebastian Graf2021-04-201-1/+1
View Lorry Controller Status