Ensure that isStrictDmd is False for Absent (fixes Trac #7737)
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 5 Mar 2013 09:26:27 +0000 (09:26 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 5 Mar 2013 09:26:27 +0000 (09:26 +0000)
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

compiler/basicTypes/Demand.lhs

index 5d78036..25f3091 100644 (file)
@@ -161,10 +161,6 @@ seqStrDmdList :: [StrDmd] -> ()
 seqStrDmdList [] = ()
 seqStrDmdList (d:ds) = seqStrDmd d `seq` seqStrDmdList ds
 
-isStrict :: StrDmd -> Bool
-isStrict Lazy = False
-isStrict _    = True
-
 -- Splitting polymorphic demands
 splitStrProdDmd :: Int -> StrDmd -> [StrDmd]
 splitStrProdDmd n Lazy         = replicate n Lazy
@@ -376,7 +372,11 @@ seqDemandList [] = ()
 seqDemandList (d:ds) = seqDemand d `seq` seqDemandList ds
 
 isStrictDmd :: Demand -> Bool
-isStrictDmd (JD {strd = x}) = isStrict x
+-- See Note [Strict demands]
+isStrictDmd (JD {absd = Abs})  = False
+isStrictDmd (JD {strd = Lazy}) = False
+isStrictDmd _                  = True
+
 
 isUsedDmd :: Demand -> Bool
 isUsedDmd (JD {absd = x}) = isUsed x
@@ -400,6 +400,25 @@ defer (JD {absd = a}) = mkJointDmd strTop a
 -- use (JD {strd = d}) = mkJointDmd d top
 \end{code}
 
+Note [Strict demands]
+~~~~~~~~~~~~~~~~~~~~~
+isStrictDmd returns true only of demands that are 
+   both strict
+   and  used
+In particular, it is False for <HyperStr, Abs>, which can and does
+arise in, say (Trac #7319)
+   f x = raise# <some exception>
+Then 'x' is not used, so f gets strictness <HyperStr,Abs> -> .
+Now the w/w generates
+   fx = let x <HyperStr,Abs> = absentError "unused"
+        in raise <some exception>
+At this point we really don't want to convert to
+   fx = case absentError "unused" of x -> raise <some exception>
+Since the program is going to diverge, this swaps one error for another,
+but it's really a bad idea to *ever* evaluate an absent argument.
+In Trac #7319 we get
+   T7319.exe: Oops!  Entered absent arg w_s1Hd{v} [lid] [base:GHC.Base.String{tc 36u}]
+
 Note [Dealing with call demands]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 Call demands are constructed and deconstructed coherently for