[add docs to Grin.Optimize
John Meacham <john@repetae.net>**20060406000109] hunk ./Grin/Optimize.hs 37
+-- | grinPush pushes the definitions of variables as far inward as they can go so
+-- peephole optimizations have a better chance of firing. when the order of definitons
+-- doesn't matter, it uses heuristics to decide which one to push to allow the most
+-- peephole optimizations.
+
hunk ./Grin/Optimize.hs 75
-        --case  (prefered reached exp :: Maybe [PExp]) of
-        --    Just [x] -> lift $ Prelude.print  (x,[ r | r <- reached, pexpUniq x `elem` pexpDeps r ])
-        --    _ -> return ()
hunk ./Grin/Optimize.hs 76
+    -- | preferentially pull definitons of the variable this returns right next to it as it admits a peephole optimization