[commit: ghc] supercompiler: More normalised coercions (e27886b)
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/e27886b97b52fa2210b3812dbf59835a507a0c30 >--------------------------------------------------------------- commit e27886b97b52fa2210b3812dbf59835a507a0c30 Author: Max Bolingbroke <[email protected]> Date: Tue Oct 4 12:58:44 2011 +0100 More normalised coercions .../supercompile/Supercompile/Core/Renaming.hs | 11 +++-- compiler/supercompile/Supercompile/Core/Syntax.hs | 25 ++++++++++- .../Supercompile/Evaluator/Evaluate.hs | 36 +++++++++-------- compiler/types/Coercion.lhs | 6 ++- compiler/types/OptCoercion.lhs | 43 +++++++++++++------ 5 files changed, 81 insertions(+), 40 deletions(-) Diff suppressed because of size. To see it, use: git show e27886b97b52fa2210b3812dbf59835a507a0c30