[commit: ghc] wip/nested-cpr's head updated: Add a warning to dmdTransformDataConSig (which I believe is dead code) (f609620)

git at git.haskell.org git at git.haskell.org
Thu Dec 12 17:57:48 UTC 2013


Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/nested-cpr' now includes:

     7558231 Do not generate given kind-equalities (fix Trac #8566)
     0849d02 Better debug printing
     f114826 Spelling in comment
     838da6f Some refactoring of Demand and DmdAnal
     ba78bf1 Do not split void functions
     0558911 Assign strictness signatures to primitive operations
     869f69f Guarding against silly shifts
     80989de Improve the handling of used-once stuff
     6b6a30d Move peelFV from DmdAnal to Demand
     2b6a6a4 Clarify the default demand on demand environments
     07b097a Remove dmdAnalArg and replace by easier to understand code
     6de91c9 Add Note [non-algebraic or open body type warning]
     43fa766 Split DmdResult into DmdResult and CPRResult
     9fcf856 Do not export DmdResult constructors in Demand.lhs
     715ed45 Rename postProcessDmdType to postProcessUnsat and use* to reuse*
     a5505be Make types of bothDmdType more precise
     344ea58 Add Converges to DmdResult
     653f7da In deferType, return convRes = Converges NoCPR
     31c651e Initial work on Nested CPR
     5da65a1 Comments and small refactor
     9dee3f1 Fix a lubDmdResult equation
     3318049 Unify RetProd and RetSum to RetCon in CPRResult
     8c501a9 Use isTypeArg instead of isTyCoArg (forgot why)
     298dfff Recover [CPR for sum types] (slightly differently)
     7699aa5 Loop breakers are not allowed to have a Converges DmdResult
     0f6b75c Check mAX_CPR_SIZE in dmdAnalVarApp
     b4a76c7 Add a flag -fnested-cpr-off to conveniently test the effect of nested CPR
     046b6ca Actually create a nested CPR worker-wrapper
     8ec4693 in Demand.lhs, remember what is a sum type
     2d5f07a Temporarily disable nested CPR inside sum types
     ae465a0 Allow the CPR w/w to take unboxed tuples apart
     f609620 Add a warning to dmdTransformDataConSig (which I believe is dead code)


More information about the ghc-commits mailing list