[clean up fixer, remove obsolete code
John Meacham <john@repetae.net>**20050913000951] hunk ./Fixer.hs 13
-    modifiedSuperSetOf2,
hunk ./Fixer.hs 30
-
hunk ./Fixer.hs 31
-
-newtype Fixer  = Fixer {
-    vars :: IORef [MkFixable]
-    }
+newtype Fixer  = Fixer { vars :: IORef [MkFixable] }
hunk ./Fixer.hs 42
-    readable :: Bool,
hunk ./Fixer.hs 57
-        rv =  RvValue { current = current, pending = pending, action = action, readable = True }
+        rv =  RvValue { current = current, pending = pending, action = action }
hunk ./Fixer.hs 62
---newValue :: Fixable a => Fixer -> IO (Value a)
---newValue fr = do
---    v <- newValue fr bottom
---    return v { readable = False }
hunk ./Fixer.hs 72
--- the function must satisfy the rule that if a >= b then f(a) >= f(b)
+-- | the function must satisfy the rule that if a >= b then f(a) >= f(b)
hunk ./Fixer.hs 77
-
-modifiedSuperSetOf2 :: (Fixable a, Fixable b, Fixable c) =>  Value c -> (Value a,Value b) -> ((a,b) -> c) -> IO ()
-modifiedSuperSetOf2 v1 (ConstValue cv1,ConstValue cv2) r = propegateValue (r (cv1,cv2)) v1
-modifiedSuperSetOf2 v1 (ConstValue cv1,v2) r = addAction v2 $ \x -> propegateValue (r (cv1,x)) v1
-modifiedSuperSetOf2 v1 (va,ConstValue vb) r = addAction va $ \x -> propegateValue (r (x,vb)) v1
-modifiedSuperSetOf2 v1 (v2,v3) r = do
-    addAction v2 $ \x -> do
-        y <- readValue v3
-        propegateValue (r (x,y)) v1
-    addAction v3 $ \y -> do
-        x <- readValue v2
-        propegateValue (r (x,y)) v1
-
-{-
-modifiedSuperSetOfL :: (Fixable a, Fixable c) =>  Value c -> [Value a]-> ([a] -> c) -> IO ()
-modifiedSuperSetOfL v1 vs r = do
-    let nvs = zip [0::Int ..] vs
-    let f (n,v) = addAction v $ \v' -> do
-            vs' <- flip mapM nvs $ \(n',x) -> if n' == n then return v' else readValue x
-            propegateValue (r vs') v1
-    mapM_ f nvs
- -}
hunk ./Fixer.hs 82
--- the function must satisfy the rule that if a >= b then f(a) implies f(b)
+-- | the function must satisfy the rule that if a >= b then f(a) implies f(b)
hunk ./Fixer.hs 84
-conditionalRule cond (ConstValue v) act = if cond v then act else return ()
hunk ./Fixer.hs 87
-dynamicRule (ConstValue v) dr = dr v
hunk ./Fixer.hs 116
-        f [] _ = return ()
+        f [] _ = putStrLn "" >> return ()