[commit: ghc] supercompiler: Good-enough implementation of MonadStatics for now (6db05a3)

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

On branch  : supercompiler

http://hackage.haskell.org/trac/ghc/changeset/6db05a3302c4a3a3dbc2aec29c9f17ca58e14963

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

commit 6db05a3302c4a3a3dbc2aec29c9f17ca58e14963
Author: Max Bolingbroke <[email protected]>
Date:   Wed Oct 26 19:04:48 2011 +0100

    Good-enough implementation of MonadStatics for now

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

 .../supercompile/Supercompile/Drive/Process2.hs    |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/compiler/supercompile/Supercompile/Drive/Process2.hs b/compiler/supercompile/Supercompile/Drive/Process2.hs
index 3e73f6e..0a48859 100644
--- a/compiler/supercompile/Supercompile/Drive/Process2.hs
+++ b/compiler/supercompile/Supercompile/Drive/Process2.hs
@@ -269,7 +269,9 @@ promise state ms = (p, ms)
           }
 
 instance MonadStatics (FulfilmentT ScpM) where
-    -- FIXME
+    bindCapturedFloats fvs mx | isEmptyVarSet fvs = liftM ((,) []) mx
+                              | otherwise         = pprPanic "bindCapturedFloats: does not support statics" (ppr fvs)
+    monitorFVs = liftM ((,) emptyVarSet)
 
 memo :: (Applicative t, Monad m)
      => (State -> t (FulfilmentT m (Deeds, Out FVedTerm)))