[project @ 2001-07-31 10:06:25 by sewardj]

[ghc-hetmet.git] / ghc / compiler / stranal / DmdAnal.lhs

diff --git a/ghc/compiler/stranal/DmdAnal.lhs b/ghc/compiler/stranal/DmdAnal.lhs
index 0aeea0d..ec5d6e2 100644 (file)
--- a/ghc/compiler/stranal/DmdAnal.lhs
+++ b/ghc/compiler/stranal/DmdAnal.lhs
@@ -57,6 +57,8 @@ instance Outputable TopLevelFlag where
 \begin{code}
 dmdAnalPgm :: DynFlags -> [CoreBind] -> IO [CoreBind]
 dmdAnalPgm dflags binds
+  = panic "dmdAnalPgm called"
+dmdAnalPgm dflags binds
   = do {
        showPass dflags "Demand analysis" ;
        let { binds_plus_dmds = do_prog binds ;
@@ -627,10 +629,11 @@ lub Abs Abs            = Abs
 lub Abs (Seq k _ ds) = Seq k Defer ds  -- Very important ('radicals' example)
 lub Abs d           = Lazy
 
-lub Eval Abs           = Lazy
-lub Eval Lazy          = Lazy
-lub Eval (Seq k Now ds) = Seq Keep Now ds
-lub Eval d             = Eval
+lub Eval Abs             = Lazy
+lub Eval Lazy            = Lazy
+lub Eval (Seq k Now   ds) = Seq Keep Now ds
+lub Eval (Seq k Defer ds) = Lazy
+lub Eval d               = Eval
 
 lub (Call d1) (Call d2) = Call (lub d1 d2)