[changed version in cabal, forgot to add GlobalConfig
martin.hofmann@uni-bamberg.de**20090519133101] hunk ./igor2.cabal 2
-Version:                  0.5.8
+Version:                  0.5.8.1
addfile ./src/Data/GlobalConfig.hs
hunk ./src/Data/GlobalConfig.hs 1
-
+
+module Data.GlobalConfig (
+
+    
+    Config(..), RecArgComp(..), defaultConfig
+    ) where
+
+import Syntax.IFTemplateHaskell
+import Logging
+
+data Config = Conf
+    { cnf_debug      :: Bool
+    , cnf_maxLoops   :: Integer
+    , cnf_recArgComp :: RecArgComp
+    , cnf_tgts       :: [Name]
+    , cnf_bgks       :: [Name]
+    }deriving(Eq,Show)
+
+data RecArgComp = Linear | Pairwise
+    deriving(Eq,Show,Read)
+     
+defaultConfig = Conf False (-1) Linear [] []
+
+instance Pretty Config where
+    pretty c = (fill 16 (text "SYNTHESISING") <+> hsep (map (squotes.pretty) (cnf_tgts c)) <$>
+                fill 16 (text "USING") <+> hsep (map (squotes.pretty) (cnf_bgks c)) <$>
+                fill 16 (text "compare rec args") <+> pretty (show.cnf_recArgComp $ c) <$>
+                fill 16 (text "debug") <+> bool (cnf_debug c) <$>                
+                fill 16 (text "maximal loops") <+> 
+                    (if cnf_debug c then integer (cnf_maxLoops c) 
+                       else text "<none>"))