[reorganised imports
martin.hofmann@uni-bamberg.de**20090624103538] hunk ./src/Context/ContextBuilder.hs 20
+import Syntax.IFTemplateHaskell
hunk ./src/Data/Hypotheses.hs 19
-import Language.Haskell.TH (Name)
+
+import Syntax.IFTemplateHaskell
hunk ./src/Data/IOData.hs 11
-    )where
+    )where 
hunk ./src/Data/IOData.hs 16
-
-import Language.Haskell.TH (Name, mkName)
+import Syntax.IFTemplateHaskell
hunk ./src/Data/IgorMonad.hs 28
+import Syntax.IFTemplateHaskell
hunk ./src/Logging/Logger.hs 21
-    module Language.Haskell.TH,
-    module Text.PrettyPrint.ANSI.Leijen,
hunk ./src/Logging/Logger.hs 29
-import Language.Haskell.TH.Syntax (Quasi)
-import Language.Haskell.TH hiding (match)--(Ppr(..), pprint, Dec, Exp, Pat, runQ, Name)
hunk ./src/Logging/Logger.hs 38
-import Text.PrettyPrint.ANSI.Leijen
+import Logging.PrettyPrinter
hunk ./src/Logging/PrettyPrinter.hs 6
+    (<^>), ($$), patternNotDef,
+
+    module Text.PrettyPrint.ANSI.Leijen,
hunk ./src/Logging/PrettyPrinter.hs 20
-import Logging.Logger
hunk ./src/Logging/PrettyPrinter.hs 31
-
hunk ./src/Logging/PrettyPrinter.hs 32
+--------------------------------------------------------------------------------
+-- Pretty Utils
+--------------------------------------------------------------------------------
+
+x $$ y = align (x <$> y)
+x <^> y = x <$> ( indent 2 y )
+
+
+patternNotDef :: [Doc] -> Doc
+patternNotDef as = text "Pattern not defined !!!" <$>
+                   vsep [ text "arg" <> int (i+1) <+> (as !! i) | i <- [0 .. (length as)-1]]
+
+
+showp :: (Pretty a) => a -> String
+showp = show.pretty
hunk ./src/Syntax/Expressions.hs 18
+import Syntax.IFTemplateHaskell
hunk ./src/Syntax/IFTemplateHaskell.hs 4
-    module Language.Haskell.TH,
-    --module Language.Haskell.TH.Syntax,
+--    module Language.Haskell.TH,
+    module Language.Haskell.TH.Syntax,
hunk ./src/Syntax/IFTemplateHaskell.hs 10
-                           , Clause (Clause)
-                           , Body (NormalB)
-                           , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE)
-                           , Pat (VarP, ConP, LitP, ListP, TupP, InfixP) 
-                           , Q(..)
+--                           , Clause (Clause)
+--                           , Body (NormalB)
+--                           , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE)
+--                           , Pat (VarP, ConP, LitP, ListP, TupP, InfixP) 
+--                           , Q(..)
+--                           , Lit (..)
hunk ./src/Syntax/IFTemplateHaskell.hs 17
-                           , Type (ForallT, VarT, ConT, TupleT, ArrowT, ListT, AppT)
-                           , Cxt
+--                           , Type (ForallT, VarT, ConT, TupleT, ArrowT, ListT, AppT)
+--                           , Cxt
hunk ./src/Syntax/IFTemplateHaskell.hs 20
-import Language.Haskell.TH.Syntax
+                           
+import Language.Haskell.TH.Syntax hiding (lift)                     
+--import Language.Haskell.TH.Syntaxf (TySynD, SigD, Stmt, Loc, RecP, AsP, WildP
+--                           , TildeP, FieldExp, LamE, LetE, CondE, RecConE
+--                           , RecUpdE, ArithSeqE, FromR, ArithSeqE, FromToR
+--                           , ArithSeqE, FromThenR, ArithSeqE, FromThenToR, SigE
+--                           , BindS, NoBindS, LetS, Strict, IsStrict, NotStrict
+--                           , ValD, GuardedB, NormalG, Guard, PatG)
hunk ./src/Syntax/Patterns.hs 9
+import Syntax.IFTemplateHaskell
hunk ./src/SynthesisEngine.hs 2
-module SynthesisEngine where
+module SynthesisEngine (
+
+    startSynthesis,
+    
+    )where
hunk ./src/SynthesisEngine.hs 11
-import Data.IgorMonad 
+import Data.IgorMonad
hunk ./src/UI/UIStarter.hs 28
+import Syntax.IFTemplateHaskell