From: simonpj Date: Thu, 18 Oct 2001 10:03:58 +0000 (+0000) Subject: [project @ 2001-10-18 10:03:58 by simonpj] X-Git-Tag: Approximately_9120_patches~796 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d8d54df67d6a6837cd5c07bf1f6ee87e061ef1c0;p=ghc-hetmet.git [project @ 2001-10-18 10:03:58 by simonpj] Comments only --- diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs index d32dd41..09b8cb0 100644 --- a/ghc/compiler/simplCore/Simplify.lhs +++ b/ghc/compiler/simplCore/Simplify.lhs @@ -480,7 +480,7 @@ simplLazyBind env top_lvl is_rec bndr bndr' rhs rhs_se -- y* = E; x = case (scc y) of {...} -- Either we must be careful not to float demanded non-values, or -- we must use exprIsValue for the test, which ensures that the - -- thing is non-strict. I think. The WARN below tests for this + -- thing is non-strict. I think. The WARN below tests for this. else if exprIsTrivial rhs2 || exprIsValue rhs2 then -- There's a subtlety here. There may be a binding (x* = e) in the -- floats, where the '*' means 'will be demanded'. So is it safe