summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Lint.hs
Commit message (Expand)AuthorAgeFilesLines
* Apply some tricks to speed up core lint.Andreas Klebinger2022-09-281-45/+136
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-2/+2
* Add diagnostic codessheaf2022-09-131-1/+1
* Avoid retaining bindings via ModGuts held on the stackMatthew Pickering2022-08-271-16/+18
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-3/+3
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-19/+19
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-2/+2
* Refactored Simplify passDominik Peteler2022-07-221-87/+30
* Edit Note [idArity varies independently of dmdTypeDepth]Simon Peyton Jones2022-07-121-10/+5
* Factor fields of `CoreDoSimplify` into separate data typeJohn Ericson2022-07-051-1/+3
* Remove `CoreOccurAnal` constructor of the `CoreToDo` typeDominik Peteler2022-06-291-1/+0
* Comments only, about join pointsSimon Peyton Jones2022-06-281-2/+36
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-0/+5
* CoreToStg.Prep: Get rid of `DynFlags` and `HscEnv`wip/no-dyn-flags-core-cmmJohn Ericson2022-06-151-18/+29
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-1/+1
* Core.Lint: Reduce `DynFlags` and `HscEnv`wip/no-state-core-lintJohn Ericson2022-06-071-142/+87
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-2/+9
* Comments and white spaceSimon Peyton Jones2022-05-301-1/+0
* Do arity trimming at bindings, rather than in exprAritySimon Peyton Jones2022-05-301-2/+3
* Optimiser: avoid introducing bad rep-polysheaf2022-05-261-2/+3
* CoreLint - When checking for levity polymorphism look through more ticks.Andreas Klebinger2022-05-041-2/+9
* Add INLINE pragmas for Enum helper methodsSimon Peyton Jones2022-04-281-1/+59
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-11/+3
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-4/+4
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-131-1/+1
* Don't allow Float#/Double# literal patternssheaf2022-03-051-2/+2
* Core Lint: collect args through floatable tickssheaf2022-03-011-1/+11
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-8/+126
* Add late cost centre supportAndreas Klebinger2022-02-101-0/+1
* Fix some notesMatthew Pickering2022-02-081-2/+2
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-4/+4
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Increase type sharingBen Gamari2021-11-171-5/+4
* Update comment in Lint.hs Andreas Klebinger2021-11-011-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-28/+28
* Add `-dsuppress-core-sizes` flag (#20342)Sylvain Henry2021-09-281-3/+5
* compiler: Ensure that all CoreTodos have SCCsBen Gamari2021-09-171-1/+1
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-1/+3
* Linear types: fix linting of multiplicities (#19165)Krzysztof Gogolewski2021-08-041-14/+20
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-1/+3
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-12/+2
* Put tracing functions into their own moduleSylvain Henry2021-06-221-28/+34
* Reword: representation instead of levitysheaf2021-06-101-19/+20
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-4/+2
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-34/+24
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
View Lorry Controller Status