Add dump flag for timing output
[ghc.git] / compiler / main / DynFlags.hs-boot
index 9f14d41..a8efb60 100644 (file)
@@ -1,13 +1,17 @@
-
 module DynFlags where
 
+import GhcPrelude
 import Platform
 
 data DynFlags
+data DumpFlag
 
-tracingDynFlags :: DynFlags
-
-targetPlatform :: DynFlags -> Platform
-pprUserLength :: DynFlags -> Int
-pprCols :: DynFlags -> Int
-
+targetPlatform       :: DynFlags -> Platform
+pprUserLength        :: DynFlags -> Int
+pprCols              :: DynFlags -> Int
+unsafeGlobalDynFlags :: DynFlags
+useUnicode           :: DynFlags -> Bool
+useUnicodeSyntax     :: DynFlags -> Bool
+shouldUseColor       :: DynFlags -> Bool
+hasPprDebug          :: DynFlags -> Bool
+hasNoDebugOutput     :: DynFlags -> Bool