[commit: ghc] supercompiler: Add comment about unfoldings (c43b42d)
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/c43b42db0d47eca3ebc98954d8ada3870566f29e >--------------------------------------------------------------- commit c43b42db0d47eca3ebc98954d8ada3870566f29e Author: Max Bolingbroke <[email protected]> Date: Wed Jun 15 23:42:27 2011 +0100 Add comment about unfoldings >--------------------------------------------------------------- .../Supercompile/Evaluator/Evaluate.hs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs index 0882d9e..8396207 100644 --- a/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs +++ b/compiler/supercompile/Supercompile/Evaluator/Evaluate.hs @@ -125,6 +125,7 @@ step' normalising state = -- Deal with a variable at the top of the stack -- Might have to claim deeds if inlining a non-value non-internally-bound thing here + -- FIXME: look inside unfoldings force :: Deeds -> Heap -> Stack -> Tag -> Out Var -> Maybe UnnormalisedState force deeds (Heap h ids) k tg x' -- NB: inlining values is non-normalising if dUPLICATE_VALUES_EVALUATOR is on (since doing things the long way would involve executing an update frame)