[commit: ghc] supercompiler: Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo) (3e6a3ef)

Max Bolingbroke <[email protected]> Thu, 04 Oct 2012 07:27:31 -0700

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/3e6a3efb2794ecfb36f30e398f89927b6ba95d62

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

commit 3e6a3efb2794ecfb36f30e398f89927b6ba95d62
Author: Max Bolingbroke <[email protected]>
Date:   Thu Sep 13 20:52:33 2012 +0100

    Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo)

 compiler/supercompile/Supercompile/Drive/MSG.hs    |    5 +-
 compiler/supercompile/Supercompile/Drive/Match.hs  |    6 +-
 .../supercompile/Supercompile/Drive/Process.hs     |   12 +--
 .../supercompile/Supercompile/Drive/Process3.hs    |   98 +++----------------
 .../Supercompile/Evaluator/Evaluate.hs             |    2 +-
 .../supercompile/Supercompile/Evaluator/Syntax.hs  |   15 +++
 compiler/supercompile/Supercompile/StaticFlags.hs  |   10 ++-
 7 files changed, 51 insertions(+), 97 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 3e6a3efb2794ecfb36f30e398f89927b6ba95d62