diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 14:36:25 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-09 15:42:09 +0000 |
| commit | f64cf134336820cc98fa45578400d9c9606fa8dc (patch) | |
| tree | 3b678634c133249df8f4e50dcf63e7657d458d06 /compiler/iface | |
| parent | a31cb5b07726f5739f6eac35cbb348fcd2d6b598 (diff) | |
| download | haskell-f64cf134336820cc98fa45578400d9c9606fa8dc.tar.gz | |
Rename topDmdType to nopDmdType
because topDmdType is ''not'' the top of the lattice, as it puts an
implicit absent demand on free variables, but Abs is the bottom of the
Usage lattice.
Why nopDmdType? Becuase it is the demand of doing nothing: Everything
lazy, everything absent, no definite divergence.
Diffstat (limited to 'compiler/iface')
| -rw-r--r-- | compiler/iface/MkIface.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs index b7b5448012..9aad5ffea2 100644 --- a/compiler/iface/MkIface.lhs +++ b/compiler/iface/MkIface.lhs @@ -1777,7 +1777,7 @@ toIfaceIdInfo id_info ------------ Strictness -------------- -- No point in explicitly exporting TopSig sig_info = strictnessInfo id_info - strict_hsinfo | not (isTopSig sig_info) = Just (HsStrictness sig_info) + strict_hsinfo | not (isNopSig sig_info) = Just (HsStrictness sig_info) | otherwise = Nothing ------------ Unfolding -------------- |