[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