summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Utils.hs
Commit message (Expand)AuthorAgeFilesLines
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-1/+2
* Don't generate datacon wrappers for `type data` declarationsRyan Scott2023-02-201-3/+35
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-2/+2
* Minor refactorKrzysztof Gogolewski2023-02-041-3/+2
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-14/+52
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-111-1/+1
* Misc cleanupKrzysztof Gogolewski2023-01-051-2/+1
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-131-4/+3
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-20/+8
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Delete `eqExpr`, since GHC 9.4 has been released.M Farkas-Dyck2022-10-211-9/+1
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-6/+8
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-0/+23
* Fix typosEric Lindblad2022-09-141-2/+2
* Force imposs_deflt_cons in filterAltsMatthew Pickering2022-08-271-1/+5
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-57/+2
* 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
View Lorry Controller Status