X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FStaticFlags.hs;h=96f8b4b715f0b70d4afb6b9c8639e9c6da596dc5;hb=b00e3a6c0a82a8af3238d677f798d812cd7fd49f;hp=9b8ea192f02c99597faae613dc598fdec8bceb92;hpb=69a804e3ff13197cd2962bea96a69bb81eb6bcf0;p=ghc-hetmet.git

diff --git a/compiler/main/StaticFlags.hs b/compiler/main/StaticFlags.hs
index 9b8ea19..96f8b4b 100644
--- a/compiler/main/StaticFlags.hs
+++ b/compiler/main/StaticFlags.hs
@@ -21,14 +21,19 @@ module StaticFlags (
 
 	-- Output style options
 	opt_PprUserLength,
+	opt_PprCols,
+	opt_PprCaseAsLet,
+	opt_PprStyle_Debug, opt_TraceLevel,
+        opt_NoDebugOutput,
+
+	-- Suppressing boring aspects of core dumps
 	opt_SuppressAll,
 	opt_SuppressUniques,
         opt_SuppressCoercions,
 	opt_SuppressModulePrefixes,
 	opt_SuppressTypeApplications,
 	opt_SuppressIdInfo,
-	opt_PprStyle_Debug, opt_TraceLevel,
-        opt_NoDebugOutput,
+	opt_SuppressTypeSignatures,
 
 	-- profiling opts
 	opt_SccProfilingOn,
@@ -219,7 +224,31 @@ opt_SuppressIdInfo :: Bool
 opt_SuppressIdInfo 
 	=  lookUp  (fsLit "-dsuppress-all")
 	|| lookUp  (fsLit "-dsuppress-idinfo")
-	
+
+-- | Suppress seprate type signatures in core, but leave types on lambda bound vars
+opt_SuppressTypeSignatures :: Bool
+opt_SuppressTypeSignatures
+	=  lookUp  (fsLit "-dsuppress-all")
+	|| lookUp  (fsLit "-dsuppress-type-signatures")
+
+
+-- | Display case expressions with a single alternative as strict let bindings
+opt_PprCaseAsLet :: Bool
+opt_PprCaseAsLet		= lookUp   (fsLit "-dppr-case-as-let")
+
+-- | Set the maximum width of the dumps
+--   If GHC's command line options are bad then the options parser uses the
+--   pretty printer display the error message. In this case the staticFlags
+--   won't be initialized yet, so we must check for this case explicitly 
+--   and return the default value.
+opt_PprCols :: Int
+opt_PprCols 
+ = unsafePerformIO
+ $ do	ready <- readIORef v_opt_C_ready
+	if (not ready)
+		then return 100
+		else return $ lookup_def_int "-dppr-cols" 100
+
 
 opt_PprStyle_Debug  :: Bool
 opt_PprStyle_Debug              = lookUp  (fsLit "-dppr-debug")