Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler
http://hackage.haskell.org/trac/ghc/changeset/b52b1b4d980d29e15d642c2f482e47fcc5b11a47 >--------------------------------------------------------------- commit b52b1b4d980d29e15d642c2f482e47fcc5b11a47 Author: Max Bolingbroke <batterseapo...@hotmail.com> Date: Tue Mar 20 12:11:15 2012 +0000 Small comment with data about bernouilli >--------------------------------------------------------------- .../Supercompile/Evaluator/Evaluate.hs | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs index 1eb89bf..45a189a 100644 --- a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs +++ b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs @@ -171,6 +171,8 @@ step' normalising ei_state = {-# SCC "step'" #-} -- Try to trim the stack if the Id is guaranteed to bottom out after a certain number of arguments -- This is really amazingly important because so many case branches bottom out in at least one branch, -- and we can save supercompiling big case nests if we trim them out eagerly. + -- + -- The supercompiled size of Bernouilli decreased from 19193 to 16173 with this change. | Just (ds, res_d) <- fmap splitStrictSig $ idStrictness_maybe x' , isBotRes res_d , Just (h_extra, k) <- trimUnreachable (length ds) (idType x') k _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc