[commit: ghc] supercompiler: Small comment with data about bernouilli (b52b1b4)

Max Bolingbroke <[email protected]>
Newsgroups gmane.comp.lang.haskell.cvs.ghc
Message-ID <[email protected]>
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : supercompiler

http://hackage.haskell.org/trac/ghc/changeset/b52b1b4d980d29e15d642c2f482e47fcc5b11a47

>---------------------------------------------------------------

commit b52b1b4d980d29e15d642c2f482e47fcc5b11a47
Author: Max Bolingbroke <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.