[project @ 2001-10-24 13:48:09 by simonpj]

Comments only

diff --git a/ghc/compiler/stranal/DmdAnal.lhs b/ghc/compiler/stranal/DmdAnal.lhs
index d748070..90c507f 100644 (file)
--- a/ghc/compiler/stranal/DmdAnal.lhs
+++ b/ghc/compiler/stranal/DmdAnal.lhs
@@ -905,6 +905,8 @@ lub (Seq k1 ds1) (Seq k2 ds2)
     lub_ds k1 ds1 k2 ds2                    = ds1 `lubs` ds2
 
        ------------------
+       -- Note that (Keep `lub` Drop) is Drop, not Keep
+       -- Why not?  See the example above with (lub Eval d).
     lub_keep Keep k     = k
 
     lub_keep Drop Defer = Defer