[code cleaning and cosmetics
martin.hofmann@uni-bamberg.de**20090619045228] hunk ./src/Data/GlobalConfig.hs 33
-                fill 20 (text "Simplified") <+> bool (cnf_simplify c) <$>                
+                fill 20 (text "Simplified") <+> bool (cnf_simplify c) <$>                              
+                fill 20 (text "Enhanced") <+> bool (cnf_enhanced c) <$>                
hunk ./src/Data/HypoSpace.hs 112
-getById i hsp = 
-        let h = hsp `seq` B.lookupR i (hypoIdBimap hsp)
-        in h `seq` h
-
-getByHypo :: (Monad m) => Hypo -> HSpace -> m ID
-getByHypo h hsp = 
-        let i = hsp `seq` B.lookup h (hypoIdBimap hsp)
-        in i `seq` i
+getById i = (B.lookupR i) . hypoIdBimap
+--        let h = hsp `seq` B.lookupR i (hypoIdBimap hsp)
+--        in h `seq` h
hunk ./src/Data/HypoSpace.hs 118
+getByHypo :: (Monad m) => Hypo -> HSpace -> m ID
+getByHypo h = (B.lookup h) . hypoIdBimap
+--        let i = hsp `seq` B.lookup h (hypoIdBimap hsp)
+--        in i `seq` i
+
hunk ./src/Data/HypoSpace.hs 221
-                        text "ID -> Hypo: <omitted>" -- <$> pretty (hypoIdBimap hsp)
+                        text "ID     -> Hypo: <omitted>" -- <$> pretty (hypoIdBimap hsp)
hunk ./src/Data/IOData.hs 46
-    , rhsides   :: !(Map RHS [(Name,LHS)])
-    , lhsides   :: !(Map LHS [(Name,RHS)])
-    , functions :: !(Bimap Name Rules)
+--    , rhsides   :: !(Map RHS [(Name,LHS)])
+--    , lhsides   :: !(Map LHS [(Name,RHS)])
+--    , functions :: !(Bimap Name Rules)
hunk ./src/Data/IOData.hs 72
-    , rhsides   = M.empty
-    , lhsides   = M.empty
-    , functions = B.empty -- unused yet, I think
+--    , rhsides   = M.empty
+--    , lhsides   = M.empty
+--    , functions = B.empty -- unused yet, I think
hunk ./src/Data/IOData.hs 140
-moreGeneralSuperset :: Rules -> IOData -> Maybe Name
-moreGeneralSuperset rs iod =
-        listToMaybe $ map fst $ filter (( flip subsumesAll rs).snd)  (M.toList.evidence $ iod ) 
-       
+--moreGeneralSuperset :: Rules -> IOData -> Maybe Name
+--moreGeneralSuperset rs iod =
+--        listToMaybe $ map fst $ filter (( flip subsumesAll rs).snd)  (M.toList.evidence $ iod ) 
+--       
hunk ./src/Data/IOData.hs 173
-    alterRhss     n rs $
-    alterLhss     n rs $ 
+--    alterRhss     n rs $
+--    alterLhss     n rs $ 
hunk ./src/Data/IOData.hs 182
-alterRhss :: Name -> Rules -> IOData -> IOData
-alterRhss n rs iod =
-    iod{rhsides = foldl' ins  rhss (S.toList rs)}
-    where
-    ins = (\m r -> M.insertWith (++) (rhs r) [(n,lhs r)] m)
-    rhss = rhsides iod  
+--alterRhss :: Name -> Rules -> IOData -> IOData
+--alterRhss n rs iod =
+--    iod{rhsides = foldl' ins  rhss (S.toList rs)}
+--    where
+--    ins = (\m r -> M.insertWith (++) (rhs r) [(n,lhs r)] m)
+--    rhss = rhsides iod  
hunk ./src/Data/IOData.hs 189
-alterLhss :: Name -> Rules -> IOData -> IOData
-alterLhss n rs iod =
-    iod{lhsides = foldl' ins  lhss (S.toList rs)}
-    where
-    ins = (\m r -> M.insertWith (++) (lhs r) [(n,rhs r)] m)
-    lhss = lhsides iod
+--alterLhss :: Name -> Rules -> IOData -> IOData
+--alterLhss n rs iod =
+--    iod{lhsides = foldl' ins  lhss (S.toList rs)}
+--    where
+--    ins = (\m r -> M.insertWith (++) (lhs r) [(n,rhs r)] m)
+--    lhss = lhsides iod
hunk ./src/Data/IOData.hs 239
-                        text "Evidence :" <$> pretty (evidence iod) <$>
-                        text "Functions:" <$> pretty (functions  iod))
+                        text "Evidence :" <$> pretty (evidence iod) )