summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Lint.hs
Commit message (Expand)AuthorAgeFilesLines
* Move checkAxInstCo to GHC.Core.LintAdam Gundry2023-05-121-1/+64
* linear types: Don't add external names to the usage envKrzysztof Gogolewski2023-05-041-1/+1
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-4/+15
* Minor refactorKrzysztof Gogolewski2023-02-041-2/+1
* Fix Lint check for duplicate external namesKrzysztof Gogolewski2023-01-241-6/+5
* Fix bogus test in LintSimon Peyton Jones2022-12-151-51/+8
* hlint: Removed redundant UnboxedSums pragmasMatthew Pickering2022-12-091-1/+0
* Fix linearity checking in LintKrzysztof Gogolewski2022-12-021-15/+22
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-5/+5
* Expand Note [Linear types] with the stance on linting linearityArnaud Spiwack2022-11-231-15/+80
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-69/+100
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-1/+1
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-2/+2
* 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
View Lorry Controller Status