[turn off some suspect grin simplifications until they can be investigated
John Meacham <john@repetae.net>**20070622005545] hunk ./Grin/Simplify.hs 296
-optimize1 ::  Grin -> Bool -> (Atom,Lam) -> StatM Lam
+optimize1 ::  Grin -> Bool -> (Atom,Lam) -> StatT IO Lam
hunk ./Grin/Simplify.hs 298
+    mtick x = do
+        lift $ lift $ putStrLn x
+        Stats.mtick x
hunk ./Grin/Simplify.hs 346
-        kc <- knownCase n as
-        f kc
+        knownCase n as
hunk ./Grin/Simplify.hs 349
-        f (kc :>>= lr)
+        lr' <- g lr
+        return (kc :>>= lr')
hunk ./Grin/Simplify.hs 353
-        r <- f (c :>>= lr)
-        return (Return [n] :>>= b :-> r)
+        lr' <- g lr
+        return (Return [n] :>>= b :-> c :>>= lr')
hunk ./Grin/Simplify.hs 357
-        r <- f kc
-        return (Return [n] :>>= b :-> r)
+        return (Return [n] :>>= b :-> kc)
hunk ./Grin/Simplify.hs 386
-        f (updateLetProps lt { expBody = e } :>>= l :-> r)
+        return (updateLetProps lt { expBody = e } :>>= l :-> r)
hunk ./Grin/Simplify.hs 392
-        f (e :>>= l :-> updateLetProps lt { expBody = r })
+        return (e :>>= l :-> updateLetProps lt { expBody = r })
hunk ./Grin/Simplify.hs 602
-                (_,nl) <- deadVars stats (a,l)
-                (_,nl) <- simplify1 stats env (a,nl)
-                let Identity nl'' = whizExps return nl
+                --(_,nl) <- deadVars stats (a,l)
+                --(_,nl) <- simplify1 stats env (a,nl)
+                --let Identity nl'' = whizExps return nl
hunk ./Grin/Simplify.hs 606
-                let (nl',stat) = runStatM (optimize1 grin postEval (a,nl''))
+                --let (nl',stat) = runStatM (optimize1 grin postEval (a,nl''))
+                (nl',stat) <- runStatT (optimize1 grin postEval (a,l))