[commit: ghc] supercompiler: Split DataAlt binder list, fix FV calculation, fix code generation for binder->term embedding (0bbb48c)
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/0bbb48c2b0df6e694a2ecd5b6317495e4127c428 >--------------------------------------------------------------- commit 0bbb48c2b0df6e694a2ecd5b6317495e4127c428 Author: Max Bolingbroke <[email protected]> Date: Wed Jun 22 18:51:22 2011 +0100 Split DataAlt binder list, fix FV calculation, fix code generation for binder->term embedding compiler/supercompile/Supercompile.hs | 39 +++++++++++++----- .../supercompile/Supercompile/Core/FreeVars.hs | 42 +++++++++---------- .../supercompile/Supercompile/Core/Renaming.hs | 7 ++- compiler/supercompile/Supercompile/Core/Syntax.hs | 31 ++++++-------- compiler/supercompile/Supercompile/Drive/Match.hs | 6 +- .../supercompile/Supercompile/Drive/Process.hs | 15 +++++-- compiler/supercompile/Supercompile/Drive/Split.hs | 11 ++--- .../Supercompile/Evaluator/Evaluate.hs | 8 +-- 8 files changed, 86 insertions(+), 73 deletions(-) Diff suppressed because of size. To see it, use: git show 0bbb48c2b0df6e694a2ecd5b6317495e4127c428