Add (a) CoreM monad, (b) new Annotations feature
[ghc-hetmet.git] / compiler / stranal / StrictAnal.lhs
index 7adbe3f..a5efe30 100644 (file)
@@ -95,8 +95,6 @@ strict workers.
 saBinds :: DynFlags -> [CoreBind] -> IO [CoreBind]
 saBinds dflags binds
   = do {
-       showPass dflags "Strictness analysis";
-
        -- Mark each binder with its strictness
 #ifndef OMIT_STRANAL_STATS
        let { (binds_w_strictness, sa_stats) = runState $ (saTopBinds binds) nullSaStats };
@@ -106,8 +104,7 @@ saBinds dflags binds
        let { binds_w_strictness = unSaM $ saTopBindsBinds binds };
 #endif
 
-       endPass dflags "Strictness analysis" Opt_D_dump_stranal
-               binds_w_strictness
+       return binds_w_strictness
     }
 \end{code}
 
@@ -445,9 +442,9 @@ tick_demanded var (tot, demanded)
      else demanded)
 
 pp_stats (SaStats tlam dlam tc dc tlet dlet)
-      = hcat [ptext SLIT("Lambda vars: "), int (iBox dlam), char '/', int (iBox tlam),
-             ptext SLIT("; Case vars: "), int (iBox dc),   char '/', int (iBox tc),
-             ptext SLIT("; Let vars: "),  int (iBox dlet), char '/', int (iBox tlet)
+      = hcat [ptext (sLit "Lambda vars: "), int (iBox dlam), char '/', int (iBox tlam),
+             ptext (sLit "; Case vars: "), int (iBox dc),   char '/', int (iBox tc),
+             ptext (sLit "; Let vars: "),  int (iBox dlet), char '/', int (iBox tlet)
        ]
 
 #else /* OMIT_STRANAL_STATS */