Super-monster patch implementing the new typechecker -- at last

[ghc-hetmet.git] / compiler / main / StaticFlags.hs

diff --git a/compiler/main/StaticFlags.hs b/compiler/main/StaticFlags.hs
index 752c516..a8e3551 100644 (file)
--- a/compiler/main/StaticFlags.hs
+++ b/compiler/main/StaticFlags.hs
@@ -24,7 +24,7 @@ module StaticFlags (
        opt_SuppressUniques,
         opt_SuppressCoercions,
        opt_SuppressModulePrefixes,
-       opt_PprStyle_Debug,
+       opt_PprStyle_Debug, opt_TraceLevel,
         opt_NoDebugOutput,
 
        -- profiling opts
@@ -193,7 +193,11 @@ opt_SuppressModulePrefixes :: Bool
 opt_SuppressModulePrefixes     = lookUp  (fsLit "-dsuppress-module-prefixes")
 
 opt_PprStyle_Debug  :: Bool
-opt_PprStyle_Debug             = lookUp  (fsLit "-dppr-debug")
+opt_PprStyle_Debug              = lookUp  (fsLit "-dppr-debug")
+
+opt_TraceLevel :: Int
+opt_TraceLevel = lookup_def_int "-dtrace-level" 1      -- Standard level is 1
+                                                       -- Less verbose is 0
 
 opt_PprUserLength   :: Int
 opt_PprUserLength              = lookup_def_int "-dppr-user-length" 5 --ToDo: give this a name