[commit: ghc] supercompiler: Support strict lets, coercions as values, write term->CoreSyn conversion (a6778cb)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : supercompiler

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

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

commit a6778cbf16b4d16661a82763a8909ffe80f34d6d
Author: Max Bolingbroke <[email protected]>
Date:   Tue Jun 21 17:55:26 2011 +0100

    Support strict lets, coercions as values, write term->CoreSyn conversion

 compiler/ghc.cabal.in                              |    5 +-
 compiler/main/DynFlags.hs                          |    4 +
 compiler/simplCore/CoreMonad.lhs                   |    3 +
 compiler/simplCore/SimplCore.lhs                   |    7 +
 compiler/supercompile/Supercompile.hs              |  187 +++++++++++++++++--
 .../supercompile/Supercompile/Core/FreeVars.hs     |    3 +
 .../supercompile/Supercompile/Core/Renaming.hs     |   36 +++--
 compiler/supercompile/Supercompile/Core/Size.hs    |    3 +
 compiler/supercompile/Supercompile/Core/Syntax.hs  |   23 +++-
 compiler/supercompile/Supercompile/Core/Tag.hs     |    5 +
 compiler/supercompile/Supercompile/Drive/Match.hs  |   25 ++-
 .../supercompile/Supercompile/Drive/Process.hs     |    8 +-
 compiler/supercompile/Supercompile/Drive/Split.hs  |   17 ++-
 .../Supercompile/Evaluator/Evaluate.hs             |   42 +++--
 .../Supercompile/Evaluator/FreeVars.hs             |    1 +
 .../Supercompile/Evaluator/Residualise.hs          |    1 +
 .../supercompile/Supercompile/Evaluator/Syntax.hs  |   42 +++--
 .../Supercompile/Termination/Combinators.hs        |   10 +-
 compiler/supercompile/Supercompile/Utilities.hs    |    5 +-
 19 files changed, 332 insertions(+), 95 deletions(-)


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

    git show a6778cbf16b4d16661a82763a8909ffe80f34d6d