summaryrefslogtreecommitdiff
path: root/compiler/stranal
diff options
context:
space:
mode:
authorÖmer Sinan Ağacan <omeragacan@gmail.com>2018-10-15 13:48:53 -0400
committerBen Gamari <ben@smart-cactus.org>2018-10-15 17:59:20 -0400
commitc5b477c29127d8375b3f23d37f877278b52547f6 (patch)
tree25e3637d93edd9141cbc399be48d2da03b269f65 /compiler/stranal
parent26e81e90281685af37c8f2cf149c242b4039117a (diff)
downloadhaskell-c5b477c29127d8375b3f23d37f877278b52547f6.tar.gz
Fix cardinality change of fields in addDataConStrictness
Test Plan: This validates Reviewers: simonpj, bgamari Reviewed By: bgamari Subscribers: rwbarton, carter Differential Revision: https://phabricator.haskell.org/D5225
Diffstat (limited to 'compiler/stranal')
-rw-r--r--compiler/stranal/DmdAnal.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/stranal/DmdAnal.hs b/compiler/stranal/DmdAnal.hs
index b606804079..995911939f 100644
--- a/compiler/stranal/DmdAnal.hs
+++ b/compiler/stranal/DmdAnal.hs
@@ -1222,7 +1222,7 @@ addDataConStrictness con ds
where
strs = dataConRepStrictness con
add dmd str | isMarkedStrict str
- , not (isAbsDmd dmd) = dmd `bothDmd` seqDmd
+ , not (isAbsDmd dmd) = strictifyDmd dmd
| otherwise = dmd
findBndrsDmds :: AnalEnv -> DmdType -> [Var] -> (DmdType, [Demand])