Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : supercompiler

http://hackage.haskell.org/trac/ghc/changeset/c43b42db0d47eca3ebc98954d8ada3870566f29e

>---------------------------------------------------------------

commit c43b42db0d47eca3ebc98954d8ada3870566f29e
Author: Max Bolingbroke <batterseapo...@hotmail.com>
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)



_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to