diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-07 09:53:21 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-01-07 09:53:21 +0000 |
| commit | d531c8dc559a4fe780a84eb4fca45b53f7c91418 (patch) | |
| tree | 05d896ddeca143b1a5fe332d62778639b3b70669 | |
| parent | 98940247926c2af1ccdacd18111facebe31d5982 (diff) | |
| download | haskell-wip/cpr-vs-jp.tar.gz | |
Allow CPR for sum typeswip/cpr-vs-jp
as the join point problem is taken care of.
| -rw-r--r-- | compiler/stranal/DmdAnal.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/stranal/DmdAnal.lhs b/compiler/stranal/DmdAnal.lhs index 8a6e9eea80..914866ce22 100644 --- a/compiler/stranal/DmdAnal.lhs +++ b/compiler/stranal/DmdAnal.lhs @@ -639,9 +639,9 @@ dmdAnalRhs top_lvl rec_flag env id rhs (lazy_fv, sig_fv) = splitFVs is_thunk rhs_fv1 - rhs_res' = trimCPRInfo trim_all trim_sums rhs_res + rhs_res' = trimCPRInfo trim_all False rhs_res trim_all = is_thunk && not_strict - trim_sums = not (isTopLevel top_lvl) -- See Note [CPR for sum types] + -- trim_sums = not (isTopLevel top_lvl) -- See Note [CPR for sum types] -- See Note [CPR for thunks] is_thunk = not (exprIsHNF rhs) |