summaryrefslogtreecommitdiff
path: root/compiler/stranal
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2013-12-09 16:09:03 +0000
committerJoachim Breitner <mail@joachim-breitner.de>2013-12-09 16:09:03 +0000
commit3cdf12512d51454e6eefd1f6ceb9827b9f9976c2 (patch)
tree9c0ef241b5dc6107acfbb658935541445dae7755 /compiler/stranal
parentf64cf134336820cc98fa45578400d9c9606fa8dc (diff)
downloadhaskell-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.lhs6
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