Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler
http://hackage.haskell.org/trac/ghc/changeset/094d50e620aba288a3b97cccdf17578500f26c05 >--------------------------------------------------------------- commit 094d50e620aba288a3b97cccdf17578500f26c05 Author: Max Bolingbroke <batterseapo...@hotmail.com> 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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
