[remove Data.hs (not neccessary at the moment)
martin.hofmann@uni-bamberg.de**20090123081122] hunk ./src/Data.hs 1
-
-module Data --(
---
---
---
---    toFunDef, FunDef,
---    Equation, lhs, rhs,
---     )
-where
-
-
-import Language.Haskell.TH
-import Terms.Class
-import Data.List (sortBy, intersperse, (\\))
-import Data.Ord (comparing)
-import Data.HypoSpace
-
-data FunDef   = FD {fun :: Name, eqs :: [Equation], eq :: Int -> Equation}
-
-instance Show FunDef where
-    show FD {fun = nm, eqs = es} = 
-        let s = "FD " ++ show nm ++ ":"
-            space = replicate (length s) ' '
-        in s ++ concat(intersperse ("\n" ++ space) (map show es))
-
-toFunDef :: Dec -> FunDef
-toFunDef (FunD nm  cls) = 
-    let es = sortBy (comparing size) $ map toEquation cls  
-    in FD { fun  = nm
-          , eqs  = es
-          , eq   = (\i -> es!!i)
-          }
-          
-fromFunDef :: FunDef -> Dec
-fromFunDef fd = FunD (fun fd) (map fromEquation (eqs fd))
-
-data Example  = EXM {fnm :: Name, equ :: Equation}
-    deriving (Show)
-    
-data Equation = EQU {lhs :: LHS, rhs :: RHS}
-instance Show Equation where
-    show EQU {lhs = ls, rhs = rs} = (concatMap pprint ls) ++ " = " ++ (pprint rs)
-
-instance Size Equation where
-    size_ done  equation        = sum $ done : (size (rhs equation)) : (map size (lhs equation))
-    
-toEquation :: Clause -> Equation
-toEquation (Clause ls (NormalB rs) _) = EQU {lhs = ls, rhs = rs}
-toEquation c = error $ "Cannot transform clause " ++ (show c) ++ " to an equation!"
-
-fromEquation :: Equation -> Clause
-fromEquation EQU {lhs = ls, rhs = rs} = (Clause ls (NormalB rs) []) 
-    
-freeVars    :: Equation -> [Exp]
-freeVars  e = 
-    let lhsvars = getVarNames.rhs $ e
-        rhsvars = concatMap getVarNames $ lhs e
-        diff    = (\\) rhsvars lhsvars
-    in map (\n -> (VarE n)) diff
-
-hasFreeVars :: Equation -> Bool
-hasFreeVars = not.null.freeVars
-
-type LHS = [Pat]
-type RHS = Exp
+
rmfile ./src/Data.hs