summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/SpecConstr.hs
Commit message (Expand)AuthorAgeFilesLines
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-261-7/+8
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-081-4/+2
* Separate core inlining logic from `Unfolding` type.Andreas Klebinger2023-01-161-0/+1
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-111-58/+72
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-221-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-10/+10
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Fix binder-swap bugSimon Peyton Jones2022-10-251-2/+7
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-2/+1
* Make SpecConstr bale out less oftenSimon Peyton Jones2022-10-111-67/+85
* Don't keep exit join points so muchSimon Peyton Jones2022-10-111-2/+4
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-4/+11
* Fix typosKrzysztof Gogolewski2022-09-141-4/+4
* Fix typosEric Lindblad2022-09-141-3/+3
* Fix bootstrap with ghc-9.0Matthew Pickering2022-09-011-0/+9
* Use Solo to avoid retaining the SCE but to avoid performing the substitutionMatthew Pickering2022-08-271-4/+18
* Revert "Revert "Refactor SpecConstr to use treat bindings uniformly""Matthew Pickering2022-08-271-263/+259
* Improve SpecConstr for evalsSimon Peyton Jones2022-08-271-14/+72
* Revert "Refactor SpecConstr to use treat bindings uniformly"Matthew Pickering2022-08-191-260/+264
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-3/+3
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-251-2/+53
* Refactor SpecConstr to use treat bindings uniformlySimon Peyton Jones2022-07-181-264/+260
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-103/+56
* Purge `DynFlags` and `HscEnv` from some `GHC.Core` modules where it's not too...wip/dflags-core-opt-easierJohn Ericson2022-05-311-32/+55
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-231-9/+63
* Misc cleanupKrzysztof Gogolewski2022-05-161-4/+4
* SpecConstr: Properly create rules for call patterns representing partial appl...Andreas Klebinger2022-05-051-15/+60
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-201-1/+2
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-1/+8
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-131-11/+16
* Tag inference work.Andreas Klebinger2022-02-121-2/+11
* Fix a few Note inconsistenciesBen Gamari2022-02-011-3/+3
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-3/+3
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Refactoring: Move DataConEnv to GHC.Core.DataConRyan Scott2021-11-151-2/+0
* SpecConstr - Attach evaldUnfolding to known evaluated arguments.Andreas Klebinger2021-11-091-31/+153
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-241-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-15/+23
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-6/+4
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-2/+3
* Fix strictness and arity info in SpecConstrSimon Peyton Jones2021-05-111-40/+58
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-2/+2
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-201-2/+3
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-171-89/+131
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-6/+6
* Add compiler linting to CIHécate2021-03-251-2/+1
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
View Lorry Controller Status