[cleanup removed dead code
martin.hofmann@uni-bamberg.de**20091126104234] hunk ./src/Syntax/Class/Term.hs 124
-    isWild :: t -> Bool
-      
hunk ./src/Syntax/Context.hs 184
---    
---defaultinstances = Map.fromList
---    [(ConT ''Bool,[''Eq, ''Ord])
---    ,(ConT ''Int,[''Eq, ''Ord])
---    ,(ForallT [mkName "a"] 
---             [AppT (ConT ''Eq) (mkVarT "a")
---             ,AppT (ConT ''Ord) (mkVarT "a")   
---             ]
---             (AppT (ConT ''Maybe) (mkVarT "a"))
---     ,[''Eq, ''Ord])
---    ,(ForallT [mkName "a", mkName "b"] 
---             [AppT (ConT ''Eq) (mkVarT "a")
---             ,AppT (ConT ''Ord) (mkVarT "a")  
---             ,AppT (ConT ''Eq) (mkVarT "b")  
---             ,AppT (ConT ''Ord) (mkVarT "b")  
---             ]
---             (AppT 
---                (AppT (ConT ''Either) (mkVarT "a")) 
---                (mkVarT "b"))
---     ,[''Eq, ''Ord])
---    ,(ForallT [mkName "a"] 
---             [AppT (ConT ''Eq) (mkVarT "a")]
---             (AppT ListT (mkVarT "a"))
---     ,[''Eq])
---    ,(ForallT [mkName "a"] 
---             [AppT (ConT ''Ord) (mkVarT "a")]
---             (AppT ListT (mkVarT "a"))
---     ,[''Ord])
---    ]
-    
+
+
hunk ./src/Syntax/Context.hs 201
---mergeCtx :: Context -> Context -> Context
---mergeCtx c1 c2 = Ctx
---    { ctx_bindings  = (Map.union `on` ctx_bindings) c1 c2
---    , ctx_types     = (Map.union `on` ctx_types) c1 c2
---    , ctx_ctors     = (Map.union `on` ctx_ctors) c1 c2
---    , ctx_classes   = ((Map.unionWith (++)) `on` ctx_classes) c1 c2
---    , ctx_members   = (Map.union `on` ctx_members) c1 c2
---    , ctx_instances = ((Map.unionWith (++)) `on` ctx_instances) c1 c2
---    , ctx_typesyns  = (Map.union `on` ctx_typesyns) c1 c2 
---    }
-
-
-
hunk ./src/Syntax/Context.hs 223
---getSubClasses :: (MonadReader Context m) => Name -> m [Name]
---getSubClasses n = asks ctx_classes >>= return . (map fst) . (filter ((elem n) . snd)) . Map.toList
-
hunk ./src/Syntax/Expressions.hs 163
-    
-    isWild (TWildE _ _ ) = True
-    isWild _             = False
hunk ./src/Syntax/Expressions.hs 205
-   
---------------------------------------------------------------------------------
--- Auxiliary functions for 'TExp'
---------------------------------------------------------------------------------
-
-
--- DEPRECATED
---          
---checkTys :: (Typed t, Pretty t, Monad m) => (t -> t -> Bool) -> (String -> m ()) -> t -> t -> m ()        
---checkTys c f s t
---    | c s t = return ()
---    | otherwise  = f $ "Type mismatch " ++ 
---                       ((showp $ s)) ++ "  " ++ 
---                       ((showp $ t))
-
----- TODO: These should be more sophisticated, when dealing with type classes,
----- now only monomorphic t ypes are allowed.
---checkSubsume:: (Typed t, Pretty t, Monad m) => t -> t -> m ()
---checkSubsume = checkSame -- checkTys (subsumesTy `on` typeOf)  fail -- (subsumesTy `on` typeOf) fail       
-
-   
-
---checkSame :: (Typed t, Pretty t, Monad m) => t -> t -> m ()   
---checkSame t1 t2 = 
---    if on equal typeOf  t1 t2 then return () else fail "Type mismatch"
hunk ./src/Syntax/Expressions.hs 251
--- very quick and dirty !!!!    
----- e is the expression of an element, l the expression of a list !!!
---mkListE [e,l] = mkTInfixE (mkTConE '(:) [typeOf e ,typeOf l]) e l
--- l is a list of elements with te same type !!!
hunk ./src/Syntax/Type.hs 178
---instance Pretty Type where
---    pretty (VarT n)   = pretty $ TH.VarT n
---    pretty (ConT n)   = pretty $ TH.ConT n
---    pretty (TupleT i) = pretty $ TH.TupleT i
---    pretty ArrowT     = pretty TH.ArrowT
---    pretty ListT      = pretty TH.ListT
---    pretty ty         = pprTyApp (split ty)
hunk ./src/Syntax/Type.hs 261
-    isWild _ = False
hunk ./src/Syntax/Type.hs 331
-subsumesTy :: Type -> Type -> Bool
-subsumesTy (VarT _) _ = True 
-subsumesTy (AppT t11 t12) (AppT t21 t22) = 
-    (subsumesTy t11 t21) && (subsumesTy t12 t22)
-subsumesTy (ForallT n1 c1 t1) (ForallT n2 c2 t2)  = 
-    (n1 == (n1 `intersect` n2)) &&
-    (subsumesTy t1 t2) &&
-    (c1 == (intersectBy subsumesTy c1 c2))    
-subsumesTy t1 t2 = equal t1 t2
hunk ./src/Syntax/UnifyExp.hs 72
+    where
+    isWild (TWildE _ _) = True
+    isWild _            = False