[minor chnges, imports, code cleaning
martin.hofmann@uni-bamberg.de**20091201103341] hunk ./src/Syntax/Expressions.hs 14
-import Language.Haskell.TH (Exp(..), Name, mkName)
+import Language.Haskell.TH (Exp(..), Name, mkName, Lit(..))
hunk ./src/Syntax/Expressions.hs 20
-import qualified Syntax.IFTemplateHaskell as TH (Type(..), Lit(..),Pat(..))
+import qualified Syntax.IFTemplateHaskell as TH (Type(..),Pat(..))
hunk ./src/Syntax/Expressions.hs 39
-    | TLitE TH.Lit Type    
+    | TLitE Lit Type    
hunk ./src/Syntax/IFTemplateHaskell.hs 31
-import Language.Haskell.TH.Ppr (pprint)
+import Language.Haskell.TH.Ppr (pprint,ppr)
hunk ./src/Syntax/UnifyExp.hs 60
-instance AUnify TExp where
-    aunify ts = do r <- aunify_ ts
-                   return $ (trace ("AUNI:" ++ "\n " ++ (showp ts) ++ "\n " ++ (showp r))) r
-        
-aunify_ [] = error "aunify: empty list"
-aunify_ t
-    | checkAU t = let l = (map subterms t) in
-                    if [] `elem` l then return . head $ t
-                     else mapM aunify (transpose l) >>= return . (roots t) 
-    | otherwise   = bindVarAU t
+instance AUnify TExp where        
+    aunify [] = error "aunify: empty list"
+    aunify t
+        | checkAU t = let l = (map subterms t) in
+                        if [] `elem` l then return . head $ t
+                         else mapM aunify (transpose l) >>= return . (roots t) 
+        | otherwise   = bindVarAU t