Add dump flag for timing output
[ghc.git] / compiler / main / DynFlags.hs-boot
index da54e49..a8efb60 100644 (file)
@@ -1,11 +1,17 @@
-
 module DynFlags where
 
+import GhcPrelude
 import Platform
 
 data DynFlags
+data DumpFlag
 
 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