[made an interface for all TemplateHaskell stuff I use
martin.hofmann@uni-bamberg.de**20090416124807] hunk ./src/Syntax/Antiunifier.hs 20
-import Language.Haskell.TH
addfile ./src/Syntax/IFTemplateHaskell.hs
hunk ./src/Syntax/IFTemplateHaskell.hs 1
-
+{-# OPTIONS_GHC -fglasgow-exts -XTemplateHaskell  #-}
+module Syntax.IFTemplateHaskell (
+
+    module Language.Haskell.TH
+    )where
+
+import Language.Haskell.TH ( Dec (FunD)
+                           , Clause (Clause)
+                           , Body (NormalB)
+                           , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE)
+                           , Pat (VarP, ConP, LitP, ListP, TupP, InfixP) 
+                           , Q(..)
+                           , Name, mkName
+                           , Type (ForallT, VarT, ConT, TupleT, ArrowT, ListT, AppT)
+                           , Cxt
+                           ) 
+import Language.Haskell.TH.Syntax
+import Language.Haskell.TH.Ppr
+
+
+deriving instance Ord Range
+deriving instance Ord Match
+deriving instance Ord Dec
+deriving instance Ord Type
+deriving instance Ord Lit
+deriving instance Ord Stmt
+deriving instance Ord Foreign
+deriving instance Ord FunDep
+deriving instance Ord Con
+deriving instance Ord Clause
+deriving instance Ord Body
+deriving instance Ord Guard
+deriving instance Ord Strict
+deriving instance Ord Safety
+deriving instance Ord Callconv
+deriving instance Ord Pat
+deriving instance Ord Exp
+
+    
hunk ./src/Syntax/Terms.hs 21
-   -- module Language.Haskell.TH,
+    module Syntax.IFTemplateHaskell
hunk ./src/Syntax/Terms.hs 24
---import Language.Haskell.TH ( Dec (FunD)
---                           , Clause (Clause)
---                           , Body (NormalB)
---                         --  , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE, CondE)
---                         --  , Pat (VarP, ConP, LitP, ListP, TupP, InfixP) 
---                           , Q(..)
---                           , Name, mkName) 
---import Language.Haskell.TH.Syntax
---import Language.Haskell.TH.Ppr
+import Syntax.IFTemplateHaskell
hunk ./src/Syntax/Terms.hs 100
-
-deriving instance Ord Range
-deriving instance Ord Match
-deriving instance Ord Dec
-deriving instance Ord Type
-deriving instance Ord Lit
-deriving instance Ord Stmt
-deriving instance Ord Foreign
-deriving instance Ord FunDep
-deriving instance Ord Con
-deriving instance Ord Clause
-deriving instance Ord Body
-deriving instance Ord Guard
-deriving instance Ord Strict
-deriving instance Ord Safety
-deriving instance Ord Callconv
-deriving instance Ord Pat
-deriving instance Ord Exp
-
-    
hunk ./src/Syntax/Types.hs 7
-    unfoldAppTargs, fixType,
-    module Language.Haskell.TH
+    unfoldAppTargs, fixType
hunk ./src/Syntax/Types.hs 10
-import Language.Haskell.TH (Type(..), Cxt)
+import Syntax.IFTemplateHaskell