diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 16:09:03 +0000 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 16:09:03 +0000 |
commit | 3cdf12512d51454e6eefd1f6ceb9827b9f9976c2 (patch) | |
tree | 9c0ef241b5dc6107acfbb658935541445dae7755 /compiler/stranal | |
parent | f64cf134336820cc98fa45578400d9c9606fa8dc (diff) | |
download | haskell-3cdf12512d51454e6eefd1f6ceb9827b9f9976c2.tar.gz |
Replace mkTopDmdType by mkClosedStrictSig
because it is not a top deman (see previous commit), and it is only used
in an argument to mkStrictSig.
Diffstat (limited to 'compiler/stranal')
-rw-r--r-- | compiler/stranal/WorkWrap.lhs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/stranal/WorkWrap.lhs b/compiler/stranal/WorkWrap.lhs index 6a448caebb..4e04d454a9 100644 --- a/compiler/stranal/WorkWrap.lhs +++ b/compiler/stranal/WorkWrap.lhs @@ -285,8 +285,8 @@ tryWW dflags is_rec fn_id rhs -- (c) it becomes incorrect as things are cloned, because -- we don't push the substitution into it new_fn_id | isEmptyVarEnv env = fn_id - | otherwise = fn_id `setIdStrictness` - StrictSig (mkTopDmdType wrap_dmds res_info) + | otherwise = fn_id `setIdStrictness` + mkClosedStrictSig wrap_dmds res_info is_fun = notNull wrap_dmds is_thunk = not is_fun && not (exprIsHNF rhs) @@ -339,7 +339,7 @@ splitFun dflags fn_id fn_info wrap_dmds res_info rhs -- not w/wd). However, the RuleMatchInfo is not transferred since -- it does not make sense for workers to be constructorlike. - `setIdStrictness` StrictSig (mkTopDmdType work_demands work_res_info) + `setIdStrictness` mkClosedStrictSig work_demands work_res_info -- Even though we may not be at top level, -- it's ok to give it an empty DmdEnv |