diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-03-05 09:26:27 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-03-05 09:26:27 +0000 |
| commit | a37a7f7beee0d12a1cf600e96c6d4450e01e6607 (patch) | |
| tree | dbcd31ced2b1bdf5cc8946b338d7ac69fd464602 /compiler/codeGen/CodeGen | |
| parent | f46ac1a9bc2597a9cb79bd7948091370a3e21de9 (diff) | |
| download | haskell-a37a7f7beee0d12a1cf600e96c6d4450e01e6607.tar.gz | |
Ensure that isStrictDmd is False for Absent (fixes Trac #7737)
The demand <HyperStr, Absent> for a let-bound value is bit
strange; it means that the context will diverge, but this
argument isn't used. We don't want to use call-by-value here,
even though it's semantically sound if all bottoms mean
the same.
The fix is easy; just make "isStrictDmd" a bit more perspicuous.
See Note [Strict demands] in Demand.lhs
Diffstat (limited to 'compiler/codeGen/CodeGen')
0 files changed, 0 insertions, 0 deletions