summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-201-1/+13
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-261-3/+6
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-14/+16
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-12/+12
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* Fix over-eager inlining in SimpleOptSimon Peyton Jones2021-02-141-4/+29
* Introduce keepAlive primopBen Gamari2021-02-141-0/+2
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-38/+38
* Don't use absentError thunks for strict constructor fieldsSimon Peyton Jones2021-01-021-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+1
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-2/+1
* Misc cleanupKrzysztof Gogolewski2020-10-071-2/+1
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+3