[commit: ghc] supercompiler: Add comment about Indirect (094d50e)
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/094d50e620aba288a3b97cccdf17578500f26c05 >--------------------------------------------------------------- commit 094d50e620aba288a3b97cccdf17578500f26c05 Author: Max Bolingbroke <[email protected]> Date: Fri Apr 20 17:08:37 2012 +0100 Add comment about Indirect >--------------------------------------------------------------- compiler/supercompile/Supercompile/Core/Syntax.hs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/compiler/supercompile/Supercompile/Core/Syntax.hs b/compiler/supercompile/Supercompile/Core/Syntax.hs index ff7bcf4..0cdeb19 100644 --- a/compiler/supercompile/Supercompile/Core/Syntax.hs +++ b/compiler/supercompile/Supercompile/Core/Syntax.hs @@ -139,6 +139,7 @@ type TaggedAlt = AltF Tagged type AltF ann = (AltCon, ann (TermF ann)) -- FIXME: I should probably implement a correct operational semantics for TyLambdas! +-- FIXME: I can probably eliminate Indirect without too much bother type Value = ValueF Identity type TaggedValue = ValueF Tagged data ValueF ann = Indirect Id -- NB: for the avoidance of doubt, these cannot be CoVars