[project @ 2005-03-18 13:37:27 by simonmar]

Flags cleanup.

Basically the purpose of this commit is to move more of the compiler's
global state into DynFlags, which is moving in the direction we need
to go for the GHC API which can have multiple active sessions
supported by a single GHC instance.

Before:

$ grep 'global_var' */*hs | wc -l
     78

After:

$ grep 'global_var' */*hs | wc -l
     27

Well, it's an improvement.  Most of what's left won't really affect
our ability to host multiple sessions.

Lots of static flags have become dynamic flags (yay!).  Notably lots
of flags that we used to think of as "driver" flags, like -I and -L,
are now dynamic.  The most notable static flags left behind are the
"way" flags, eg. -prof.  It would be nice to fix this, but it isn't
urgent.

On the way, lots of cleanup has happened.  Everything related to
static and dynamic flags lives in StaticFlags and DynFlags
respectively, and they share a common command-line parser library in
CmdLineParser.  The flags related to modes (--makde, --interactive
etc.) are now private to the front end: in fact private to Main
itself, for now.

1 files changed, 0 insertions, 767 deletions

diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs
deleted file mode 100644
index f0f60f7694..0000000000
--- a/ghc/compiler/main/DriverFlags.hs
+++ /dev/null
@@ -1,767 +0,0 @@
------------------------------------------------------------------------------
---
--- Driver flags
---
--- (c) The University of Glasgow 2000-2003
---
------------------------------------------------------------------------------
-
-module DriverFlags ( 
-	processDynamicFlags,
- 	processStaticFlags,
-
-	addCmdlineHCInclude,
-	buildStaticHscOpts, 
-	machdepCCOpts,
-        picCCOpts,
-
-	processArgs, OptKind(..), -- for DriverMkDepend only
-  ) where
-
-#include "HsVersions.h"
-
-import MkIface		( showIface )
-import DriverState
-import DriverPhases
-import DriverUtil
-import SysTools
-import CmdLineOpts
-import Config
-import Util
-import Panic
-import FastString	( mkFastString )
-
-import EXCEPTION
-import DATA_IOREF	( IORef, readIORef, writeIORef )
-
-import System		( exitWith, ExitCode(..) )
-import IO
-import Maybe
-import Monad
-import Char
-
------------------------------------------------------------------------------
--- Flags
-
--- Flag parsing is now done in stages:
---
---     * parse the initial list of flags and remove any flags understood
---	 by the driver only.  Determine whether we're in multi-compilation
---	 or single-compilation mode (done in Main.main).
---
---     * gather the list of "static" hsc flags, and assign them to the global
---	 static hsc flags variable.
---
---     * build the inital DynFlags from the remaining flags.
---
---     * complain if we've got any flags left over.
---
---     * for each source file: grab the OPTIONS, and build a new DynFlags
---       to pass to the compiler.
-
------------------------------------------------------------------------------
--- Process command-line  
-
-processStaticFlags :: [String] -> IO [String]
-processStaticFlags opts = processArgs static_flags opts []
-
-data OptKind
-	= NoArg (IO ()) 		    -- flag with no argument
-	| HasArg (String -> IO ())	    -- flag has an argument (maybe prefix)
-	| SepArg (String -> IO ())	    -- flag has a separate argument
-	| Prefix (String -> IO ())	    -- flag is a prefix only
-	| OptPrefix (String -> IO ())       -- flag may be a prefix
-	| AnySuffix (String -> IO ())       -- flag is a prefix, pass whole arg to fn
-	| PassFlag  (String -> IO ())       -- flag with no arg, pass flag to fn
-	| PrefixPred (String -> Bool) (String -> IO ())
-	| AnySuffixPred (String -> Bool) (String -> IO ())
-
-processArgs :: [(String,OptKind)] -> [String] -> [String]
-	    -> IO [String]  -- returns spare args
-processArgs _spec [] spare = return (reverse spare)
-
-processArgs spec args@(('-':arg):args') spare = do
-  case findArg spec arg of
-    Just (rest,action) -> do args' <- processOneArg action rest args
-			     processArgs spec args' spare
-    Nothing	       -> processArgs spec args' (('-':arg):spare)
-
-processArgs spec (arg:args) spare = 
-  processArgs spec args (arg:spare)
-
-processOneArg :: OptKind -> String -> [String] -> IO [String]
-processOneArg action rest (dash_arg@('-':arg):args) =
-  case action of
-	NoArg  io -> 
-		if rest == ""
-			then io >> return args
-			else unknownFlagErr dash_arg
-
-	HasArg fio -> 
-		if rest /= "" 
-			then fio rest >> return args
-			else case args of
-				[] -> missingArgErr dash_arg
-				(arg1:args1) -> fio arg1 >> return args1
-
-	SepArg fio -> 
-		case args of
-			[] -> unknownFlagErr dash_arg
-			(arg1:args1) -> fio arg1 >> return args1
-
-	Prefix fio -> 
-		if rest /= ""
-			then fio rest >> return args
-			else unknownFlagErr dash_arg
-	
-	PrefixPred p fio -> 
-		if rest /= ""
-			then fio rest >> return args
-			else unknownFlagErr dash_arg
-	
-	OptPrefix fio       -> fio rest >> return args
-
-	AnySuffix fio       -> fio dash_arg >> return args
-
-	AnySuffixPred p fio -> fio dash_arg >> return args
-
-	PassFlag fio  -> 
-		if rest /= ""
-			then unknownFlagErr dash_arg
-			else fio dash_arg >> return args
-
-findArg :: [(String,OptKind)] -> String -> Maybe (String,OptKind)
-findArg spec arg
-  = case [ (remove_spaces rest, k) 
-	 | (pat,k)   <- spec, 
-	   Just rest <- [maybePrefixMatch pat arg],
-	   arg_ok k rest arg ] 
-    of
-	[]      -> Nothing
-	(one:_) -> Just one
-
-arg_ok (NoArg _)            rest arg = null rest
-arg_ok (HasArg _)           rest arg = True
-arg_ok (SepArg _)           rest arg = null rest
-arg_ok (Prefix _)	    rest arg = notNull rest
-arg_ok (PrefixPred p _)     rest arg = notNull rest && p rest
-arg_ok (OptPrefix _)	    rest arg = True
-arg_ok (PassFlag _)         rest arg = null rest 
-arg_ok (AnySuffix _)        rest arg = True
-arg_ok (AnySuffixPred p _)  rest arg = p arg
-
------------------------------------------------------------------------------
--- Static flags
-
--- note that ordering is important in the following list: any flag which
--- is a prefix flag (i.e. HasArg, Prefix, OptPrefix, AnySuffix) will override
--- flags further down the list with the same prefix.
-
-static_flags = 
-  [  ------- help / version ----------------------------------------------
-     ( "?"    		 , NoArg showGhcUsage)
-  ,  ( "-help"	 	 , NoArg showGhcUsage)
-  ,  ( "-print-libdir"   , NoArg (do getTopDir >>= putStrLn
-				     exitWith ExitSuccess))  
-  ,  ( "V"	 	 , NoArg showVersion)
-  ,  ( "-version"	 , NoArg showVersion)
-  ,  ( "-numeric-version", NoArg (do putStrLn cProjectVersion
-				     exitWith ExitSuccess))
-
-      ------- interfaces ----------------------------------------------------
-  ,  ( "-show-iface"     , HasArg (\f -> do showIface f
-					    exitWith ExitSuccess))
-
-      ------- verbosity ----------------------------------------------------
-  ,  ( "n"              , NoArg setDryRun )
-
-      ------- primary modes ------------------------------------------------
-  ,  ( "M"		, PassFlag (setMode DoMkDependHS))
-  ,  ( "E"		, PassFlag (setMode (StopBefore anyHsc)))
-  ,  ( "C"		, PassFlag (\f -> do setMode (StopBefore HCc) f
-					     setTarget HscC))
-  ,  ( "S"		, PassFlag (setMode (StopBefore As)))
-  ,  ( "-make"		, PassFlag (setMode DoMake))
-  ,  ( "-interactive"	, PassFlag (setMode DoInteractive))
-  ,  ( "-mk-dll"	, NoArg (writeIORef v_GhcLink MkDLL))
-  ,  ( "e"              , HasArg   (\s -> setMode (DoEval s) "-e"))
-
-	-- -fno-code says to stop after Hsc but don't generate any code.
-  ,  ( "fno-code"	, PassFlag (\f -> do setMode (StopBefore HCc) f
-				             setTarget HscNothing
-				             setRecompFlag False))
-
-	------- GHCi -------------------------------------------------------
-  ,  ( "ignore-dot-ghci", NoArg (writeIORef v_Read_DotGHCi False) )
-  ,  ( "read-dot-ghci"  , NoArg (writeIORef v_Read_DotGHCi True) )
-
-	------- ways --------------------------------------------------------
-  ,  ( "prof"		, NoArg (addNoDups v_Ways	WayProf) )
-  ,  ( "unreg"		, NoArg (addNoDups v_Ways	WayUnreg) )
-  ,  ( "ticky"		, NoArg (addNoDups v_Ways	WayTicky) )
-  ,  ( "parallel"	, NoArg (addNoDups v_Ways	WayPar) )
-  ,  ( "gransim"	, NoArg (addNoDups v_Ways	WayGran) )
-  ,  ( "smp"		, NoArg (addNoDups v_Ways	WaySMP) )
-  ,  ( "debug"		, NoArg (addNoDups v_Ways	WayDebug) )
-  ,  ( "ndp"		, NoArg (addNoDups v_Ways	WayNDP) )
-  ,  ( "threaded"	, NoArg (addNoDups v_Ways	WayThreaded) )
- 	-- ToDo: user ways
-
-	------ RTS ways -----------------------------------------------------
-
-	------ Debugging ----------------------------------------------------
-  ,  ( "dppr-noprags",     PassFlag (add v_Opt_C) )
-  ,  ( "dppr-debug",       PassFlag (add v_Opt_C) )
-  ,  ( "dppr-user-length", AnySuffix (add v_Opt_C) )
-      -- rest of the debugging flags are dynamic
-
-	--------- Profiling --------------------------------------------------
-  ,  ( "auto-dicts"	, NoArg (add v_Opt_C "-fauto-sccs-on-dicts") )
-  ,  ( "auto-all"	, NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") )
-  ,  ( "auto"		, NoArg (add v_Opt_C "-fauto-sccs-on-exported-toplevs") )
-  ,  ( "caf-all"	, NoArg (add v_Opt_C "-fauto-sccs-on-individual-cafs") )
-         -- "ignore-sccs"  doesn't work  (ToDo)
-
-  ,  ( "no-auto-dicts"	, NoArg (add v_Anti_opt_C "-fauto-sccs-on-dicts") )
-  ,  ( "no-auto-all"	, NoArg (add v_Anti_opt_C "-fauto-sccs-on-all-toplevs") )
-  ,  ( "no-auto"	, NoArg (add v_Anti_opt_C "-fauto-sccs-on-exported-toplevs") )
-  ,  ( "no-caf-all"	, NoArg (add v_Anti_opt_C "-fauto-sccs-on-individual-cafs") )
-
-	------- Miscellaneous -----------------------------------------------
-  ,  ( "no-link-chk"    , NoArg (return ()) ) -- ignored for backwards compat
-  ,  ( "no-hs-main"     , NoArg (writeIORef v_NoHsMain True) )
-  ,  ( "main-is"   	, SepArg setMainIs )
-
-	------- Output Redirection ------------------------------------------
-  ,  ( "odir"		, HasArg (writeIORef v_Output_dir  . Just) )
-  ,  ( "o"		, SepArg (writeIORef v_Output_file . Just) )
-  ,  ( "osuf"		, HasArg (writeIORef v_Object_suf) )
-  ,  ( "hcsuf"		, HasArg (writeIORef v_HC_suf    ) )
-  ,  ( "hisuf"		, HasArg (writeIORef v_Hi_suf    ) )
-  ,  ( "hidir"		, HasArg (writeIORef v_Hi_dir . Just) )
-  ,  ( "buildtag"	, HasArg (writeIORef v_Build_tag) )
-  ,  ( "tmpdir"		, HasArg setTmpDir)
-  ,  ( "ohi"		, HasArg (writeIORef v_Output_hi   . Just) )
-	-- -odump?
-
-  ,  ( "keep-hc-file"   , AnySuffix (\_ -> writeIORef v_Keep_hc_files True) )
-  ,  ( "keep-s-file"    , AnySuffix (\_ -> writeIORef v_Keep_s_files  True) )
-  ,  ( "keep-raw-s-file", AnySuffix (\_ -> writeIORef v_Keep_raw_s_files  True) )
-#ifdef ILX
-  ,  ( "keep-il-file"   , AnySuffix (\_ -> writeIORef v_Keep_il_files True) )
-  ,  ( "keep-ilx-file"  , AnySuffix (\_ -> writeIORef v_Keep_ilx_files True) )
-#endif
-  ,  ( "keep-tmp-files" , AnySuffix (\_ -> writeIORef v_Keep_tmp_files True) )
-
-  ,  ( "split-objs"	, NoArg (if can_split
-				    then do writeIORef v_Split_object_files True
-					    add v_Opt_C "-fglobalise-toplev-names"
-				    else hPutStrLn stderr
-					    "warning: don't know how to split object files on this architecture"
-				) )
-
-	------- Include/Import Paths ----------------------------------------
-  ,  ( "I" 		, Prefix    (addToDirList v_Include_paths) )
-
-	------- Libraries ---------------------------------------------------
-  ,  ( "L"		, Prefix (addToDirList v_Library_paths) )
-  ,  ( "l"		, AnySuffix (\s -> add v_Opt_l s >> add v_Opt_dll s) )
-
-#ifdef darwin_TARGET_OS
-	------- Frameworks --------------------------------------------------
-        -- -framework-path should really be -F ...
-  ,  ( "framework-path" , HasArg (addToDirList v_Framework_paths) )
-  ,  ( "framework"	, HasArg (add v_Cmdline_frameworks) )
-#endif
-        ------- Specific phases  --------------------------------------------
-  ,  ( "pgmL"           , HasArg setPgmL )
-  ,  ( "pgmP"           , HasArg setPgmP )
-  ,  ( "pgmF"           , HasArg setPgmF )
-  ,  ( "pgmc"           , HasArg setPgmc )
-  ,  ( "pgmm"           , HasArg setPgmm )
-  ,  ( "pgms"           , HasArg setPgms )
-  ,  ( "pgma"           , HasArg setPgma )
-  ,  ( "pgml"           , HasArg setPgml )
-  ,  ( "pgmdll"		, HasArg setPgmDLL )
-#ifdef ILX
-  ,  ( "pgmI"           , HasArg setPgmI )
-  ,  ( "pgmi"           , HasArg setPgmi )
-#endif
-
-  ,  ( "optdep"		, HasArg (add v_Opt_dep) )
-  ,  ( "optl"		, HasArg (add v_Opt_l) )
-  ,  ( "optdll"		, HasArg (add v_Opt_dll) )
-
-	----- Linker --------------------------------------------------------
-  ,  ( "c"		, NoArg (writeIORef v_GhcLink NoLink) )
-  ,  ( "no-link"	, NoArg (writeIORef v_GhcLink NoLink) )	-- Deprecated
-  ,  ( "static" 	, NoArg (writeIORef v_Static True) )
-  ,  ( "dynamic"        , NoArg (writeIORef v_Static False) )
-  ,  ( "rdynamic"       , NoArg (return ()) ) -- ignored for compat w/ gcc
-
-	----- RTS opts ------------------------------------------------------
-  ,  ( "H"                 , HasArg (setHeapSize . fromIntegral . decodeSize) )
-  ,  ( "Rghc-timing"	   , NoArg  (enableTimingStats) )
-
-        ------ Compiler flags -----------------------------------------------
-  ,  ( "fno-asm-mangling"  , NoArg (writeIORef v_Do_asm_mangling False) )
-
-  ,  ( "fexcess-precision" , NoArg (do writeIORef v_Excess_precision True
-				       add v_Opt_C "-fexcess-precision"))
-
-	-- All other "-fno-<blah>" options cancel out "-f<blah>" on the hsc cmdline
-  ,  ( "fno-",			PrefixPred (\s -> isStaticHscFlag ("f"++s))
-				    (\s -> add v_Anti_opt_C ("-f"++s)) )
-
-	-- Pass all remaining "-f<blah>" options to hsc
-  ,  ( "f", 			AnySuffixPred (isStaticHscFlag) (add v_Opt_C) )
-  ]
-
-dynamic_flags = [
-
-     ( "cpp",		NoArg  (updDynFlags (\s -> s{ cppFlag = True })) )
-  ,  ( "F",             NoArg  (updDynFlags (\s -> s{ ppFlag = True })) )
-  ,  ( "#include",	HasArg (addCmdlineHCInclude) )
-
-  ,  ( "v",		OptPrefix (setVerbosity) )
-
-  ,  ( "optL",		HasArg (addOpt_L) )
-  ,  ( "optP",		HasArg (addOpt_P) )
-  ,  ( "optF",          HasArg (addOpt_F) )
-  ,  ( "optc",		HasArg (addOpt_c) )
-  ,  ( "optm",		HasArg (addOpt_m) )
-  ,  ( "opta",		HasArg (addOpt_a) )
-#ifdef ILX
-  ,  ( "optI",		HasArg (addOpt_I) )
-  ,  ( "opti",		HasArg (addOpt_i) )
-#endif
-
-	------- recompilation checker --------------------------------------
-  ,  ( "recomp"		, NoArg (setRecompFlag True) )
-  ,  ( "no-recomp"  	, NoArg (setRecompFlag False) )
-
-        ------- Packages ----------------------------------------------------
-  ,  ( "package-conf"   , HasArg extraPkgConf_ )
-  ,  ( "no-user-package-conf", NoArg noUserPkgConf_ )
-  ,  ( "package-name"   , HasArg ignorePackage ) -- for compatibility
-  ,  ( "package"        , HasArg exposePackage )
-  ,  ( "hide-package"   , HasArg hidePackage )
-  ,  ( "ignore-package" , HasArg ignorePackage )
-  ,  ( "syslib"         , HasArg exposePackage )  -- for compatibility
-
-	------ HsCpp opts ---------------------------------------------------
-  ,  ( "D",		AnySuffix addOpt_P )
-  ,  ( "U",		AnySuffix addOpt_P )
-
-        ------- Paths & stuff -----------------------------------------------
-  ,  ( "i"		, OptPrefix addImportPath )
-
-	------ Debugging ----------------------------------------------------
-  ,  ( "dstg-stats",	NoArg (writeIORef v_StgStats True) )
-
-  ,  ( "ddump-cmm",         	 setDumpFlag Opt_D_dump_cmm)
-  ,  ( "ddump-asm",          	 setDumpFlag Opt_D_dump_asm)
-  ,  ( "ddump-cpranal",      	 setDumpFlag Opt_D_dump_cpranal)
-  ,  ( "ddump-deriv",        	 setDumpFlag Opt_D_dump_deriv)
-  ,  ( "ddump-ds",           	 setDumpFlag Opt_D_dump_ds)
-  ,  ( "ddump-flatC",        	 setDumpFlag Opt_D_dump_flatC)
-  ,  ( "ddump-foreign",      	 setDumpFlag Opt_D_dump_foreign)
-  ,  ( "ddump-inlinings",    	 setDumpFlag Opt_D_dump_inlinings)
-  ,  ( "ddump-occur-anal",   	 setDumpFlag Opt_D_dump_occur_anal)
-  ,  ( "ddump-parsed",       	 setDumpFlag Opt_D_dump_parsed)
-  ,  ( "ddump-rn",           	 setDumpFlag Opt_D_dump_rn)
-  ,  ( "ddump-simpl",        	 setDumpFlag Opt_D_dump_simpl)
-  ,  ( "ddump-simpl-iterations", setDumpFlag Opt_D_dump_simpl_iterations)
-  ,  ( "ddump-spec",         	 setDumpFlag Opt_D_dump_spec)
-  ,  ( "ddump-prep",          	 setDumpFlag Opt_D_dump_prep)
-  ,  ( "ddump-stg",          	 setDumpFlag Opt_D_dump_stg)
-  ,  ( "ddump-stranal",      	 setDumpFlag Opt_D_dump_stranal)
-  ,  ( "ddump-tc",           	 setDumpFlag Opt_D_dump_tc)
-  ,  ( "ddump-types",        	 setDumpFlag Opt_D_dump_types)
-  ,  ( "ddump-rules",        	 setDumpFlag Opt_D_dump_rules)
-  ,  ( "ddump-cse",          	 setDumpFlag Opt_D_dump_cse)
-  ,  ( "ddump-worker-wrapper",   setDumpFlag Opt_D_dump_worker_wrapper)
-  ,  ( "ddump-rn-trace",         NoArg (setDynFlag Opt_D_dump_rn_trace))
-  ,  ( "ddump-if-trace",         NoArg (setDynFlag Opt_D_dump_if_trace))
-  ,  ( "ddump-tc-trace",         setDumpFlag Opt_D_dump_tc_trace)
-  ,  ( "ddump-splices",          setDumpFlag Opt_D_dump_splices)
-  ,  ( "ddump-rn-stats",         NoArg (setDynFlag Opt_D_dump_rn_stats))
-  ,  ( "ddump-opt-cmm",          setDumpFlag Opt_D_dump_opt_cmm)
-  ,  ( "ddump-simpl-stats",      setDumpFlag Opt_D_dump_simpl_stats)
-  ,  ( "ddump-bcos",             setDumpFlag Opt_D_dump_BCOs)
-  ,  ( "dsource-stats",          setDumpFlag Opt_D_source_stats)
-  ,  ( "dverbose-core2core",     setDumpFlag Opt_D_verbose_core2core)
-  ,  ( "dverbose-stg2stg",       setDumpFlag Opt_D_verbose_stg2stg)
-  ,  ( "ddump-hi-diffs",         setDumpFlag Opt_D_dump_hi_diffs)
-  ,  ( "ddump-hi",               setDumpFlag Opt_D_dump_hi)
-  ,  ( "ddump-minimal-imports",  setDumpFlag Opt_D_dump_minimal_imports)
-  ,  ( "ddump-vect",         	 setDumpFlag Opt_D_dump_vect)
-  ,  ( "dcore-lint",       	 NoArg (setDynFlag Opt_DoCoreLinting))
-  ,  ( "dstg-lint",        	 NoArg (setDynFlag Opt_DoStgLinting))
-  ,  ( "dcmm-lint",		 NoArg (setDynFlag Opt_DoCmmLinting))
-  ,  ( "dshow-passes",           NoArg (setRecompFlag False >> setVerbosity "2") )
-
-	------ Machine dependant (-m<blah>) stuff ---------------------------
-
-  ,  ( "monly-2-regs", 	NoArg (updDynFlags (\s -> s{stolen_x86_regs = 2}) ))
-  ,  ( "monly-3-regs", 	NoArg (updDynFlags (\s -> s{stolen_x86_regs = 3}) ))
-  ,  ( "monly-4-regs", 	NoArg (updDynFlags (\s -> s{stolen_x86_regs = 4}) ))
-
-	------ Warning opts -------------------------------------------------
-  ,  ( "W"		, NoArg (mapM_ setDynFlag   minusWOpts)    )
-  ,  ( "Werror"		, NoArg (setDynFlag   	    Opt_WarnIsError) )
-  ,  ( "Wall"		, NoArg (mapM_ setDynFlag   minusWallOpts) )
-  ,  ( "Wnot"		, NoArg (mapM_ unSetDynFlag minusWallOpts) ) /* DEPREC */
-  ,  ( "w"		, NoArg (mapM_ unSetDynFlag minusWallOpts) )
-
-	------ Optimisation flags ------------------------------------------
-  ,  ( "O"		   , NoArg (setOptLevel 1))
-  ,  ( "Onot"		   , NoArg (setOptLevel 0))
-  ,  ( "O"		   , PrefixPred (all isDigit) (setOptLevel . read))
-
-  ,  ( "fmax-simplifier-iterations", 
-		PrefixPred (all isDigit) 
-		  (\n -> updDynFlags (\dfs -> 
-			dfs{ maxSimplIterations = read n })) )
-
-  ,  ( "frule-check", 
-		SepArg (\s -> updDynFlags (\dfs -> dfs{ ruleCheck = Just s })))
-
-        ------ Compiler flags -----------------------------------------------
-
-  ,  ( "fasm",		AnySuffix (\_ -> setTarget HscAsm) )
-  ,  ( "fvia-c",	NoArg (setTarget HscC) )
-  ,  ( "fvia-C",	NoArg (setTarget HscC) )
-  ,  ( "filx",		NoArg (setTarget HscILX) )
-
-  ,  ( "fglasgow-exts",    NoArg (mapM_ setDynFlag   glasgowExtsFlags) )
-  ,  ( "fno-glasgow-exts", NoArg (mapM_ unSetDynFlag glasgowExtsFlags) )
-
-	-- the rest of the -f* and -fno-* flags
-  ,  ( "fno-", 		PrefixPred (\f -> isFFlag f) (\f -> unSetDynFlag (getFFlag f)) )
-  ,  ( "f",		PrefixPred (\f -> isFFlag f) (\f -> setDynFlag (getFFlag f)) )
- ]
-
--- these -f<blah> flags can all be reversed with -fno-<blah>
-
-fFlags = [
-  ( "warn-duplicate-exports",    	Opt_WarnDuplicateExports ),
-  ( "warn-hi-shadowing",         	Opt_WarnHiShadows ),
-  ( "warn-incomplete-patterns",  	Opt_WarnIncompletePatterns ),
-  ( "warn-incomplete-record-updates",  	Opt_WarnIncompletePatternsRecUpd ),
-  ( "warn-missing-fields",       	Opt_WarnMissingFields ),
-  ( "warn-missing-methods",      	Opt_WarnMissingMethods ),
-  ( "warn-missing-signatures",   	Opt_WarnMissingSigs ),
-  ( "warn-name-shadowing",       	Opt_WarnNameShadowing ),
-  ( "warn-overlapping-patterns", 	Opt_WarnOverlappingPatterns ),
-  ( "warn-simple-patterns",      	Opt_WarnSimplePatterns ),
-  ( "warn-type-defaults",        	Opt_WarnTypeDefaults ),
-  ( "warn-unused-binds",         	Opt_WarnUnusedBinds ),
-  ( "warn-unused-imports",       	Opt_WarnUnusedImports ),
-  ( "warn-unused-matches",       	Opt_WarnUnusedMatches ),
-  ( "warn-deprecations",         	Opt_WarnDeprecations ),
-  ( "warn-orphans",	         	Opt_WarnOrphans ),
-  ( "fi",				Opt_FFI ),  -- support `-ffi'...
-  ( "ffi",				Opt_FFI ),  -- ...and also `-fffi'
-  ( "arrows",				Opt_Arrows ), -- arrow syntax
-  ( "parr",				Opt_PArr ),
-  ( "th",				Opt_TH ),
-  ( "implicit-prelude",  		Opt_ImplicitPrelude ),
-  ( "scoped-type-variables",  		Opt_ScopedTypeVariables ),
-  ( "monomorphism-restriction",		Opt_MonomorphismRestriction ),
-  ( "implicit-params",			Opt_ImplicitParams ),
-  ( "allow-overlapping-instances", 	Opt_AllowOverlappingInstances ),
-  ( "allow-undecidable-instances", 	Opt_AllowUndecidableInstances ),
-  ( "allow-incoherent-instances", 	Opt_AllowIncoherentInstances ),
-  ( "generics",  			Opt_Generics ),
-  ( "strictness",			Opt_Strictness ),
-  ( "full-laziness",			Opt_FullLaziness ),
-  ( "cse",				Opt_CSE ),
-  ( "ignore-interface-pragmas",		Opt_IgnoreInterfacePragmas ),
-  ( "omit-interface-pragmas",		Opt_OmitInterfacePragmas ),
-  ( "do-lambda-eta-expansion",		Opt_DoLambdaEtaExpansion ),
-  ( "ignore-asserts",			Opt_IgnoreAsserts ),
-  ( "do-eta-reduction",			Opt_DoEtaReduction ),
-  ( "case-merge",			Opt_CaseMerge ),
-  ( "unbox-strict-fields",		Opt_UnboxStrictFields )
-  ]
-
-glasgowExtsFlags = [ Opt_GlasgowExts, Opt_FFI, Opt_TH, Opt_ImplicitParams, Opt_ScopedTypeVariables ]
-
-isFFlag f = f `elem` (map fst fFlags)
-getFFlag f = fromJust (lookup f fFlags)
-
--- -----------------------------------------------------------------------------
--- Parsing the dynamic flags.
-
--- we use a temporary global variable, for convenience
-
-GLOBAL_VAR(v_DynFlags, defaultDynFlags, DynFlags)
-
-processDynamicFlags :: [String] -> DynFlags -> IO (DynFlags,[String])
-processDynamicFlags args dflags = do
-  writeIORef v_DynFlags dflags
-  spare <- processArgs dynamic_flags args []
-  dflags <- readIORef v_DynFlags
-  return (dflags,spare)
-
-updDynFlags :: (DynFlags -> DynFlags) -> IO ()
-updDynFlags f = do dfs <- readIORef v_DynFlags
-		   writeIORef v_DynFlags (f dfs)
-
-setDynFlag, unSetDynFlag :: DynFlag -> IO ()
-setDynFlag f   = updDynFlags (\dfs -> dopt_set dfs f)
-unSetDynFlag f = updDynFlags (\dfs -> dopt_unset dfs f)
-
-setDumpFlag :: DynFlag -> OptKind
-setDumpFlag dump_flag 
-  = NoArg (setRecompFlag False >> setDynFlag dump_flag)
-	-- Whenver we -ddump, switch off the recompilation checker,
-	-- else you don't see the dump!
-
-addOpt_L a = updDynFlags (\s -> s{opt_L = a : opt_L s})
-addOpt_P a = updDynFlags (\s -> s{opt_P = a : opt_P s})
-addOpt_F a = updDynFlags (\s -> s{opt_F = a : opt_F s})
-addOpt_c a = updDynFlags (\s -> s{opt_c = a : opt_c s})
-addOpt_a a = updDynFlags (\s -> s{opt_a = a : opt_a s})
-addOpt_m a = updDynFlags (\s -> s{opt_m = a : opt_m s})
-#ifdef ILX
-addOpt_I a = updDynFlags (\s -> s{opt_I = a : opt_I s})
-addOpt_i a = updDynFlags (\s -> s{opt_i = a : opt_i s})
-#endif
-
-setRecompFlag :: Bool -> IO ()
-setRecompFlag recomp = updDynFlags (\dfs -> dfs{ recompFlag = recomp })
-
-setVerbosity "" = updDynFlags (\dfs -> dfs{ verbosity = 3 })
-setVerbosity n 
-  | all isDigit n = updDynFlags (\dfs -> dfs{ verbosity = read n })
-  | otherwise     = throwDyn (UsageError "can't parse verbosity flag (-v<n>)")
-
-addCmdlineHCInclude a = updDynFlags (\s -> s{cmdlineHcIncludes =  a : cmdlineHcIncludes s})
-
-extraPkgConf_  p = updDynFlags (\s -> s{ extraPkgConfs = p : extraPkgConfs s })
-noUserPkgConf_   = updDynFlags (\s -> s{ readUserPkgConf = False })
-
-exposePackage p = 
-  updDynFlags (\s -> s{ packageFlags = ExposePackage p : packageFlags s })
-hidePackage p = 
-  updDynFlags (\s -> s{ packageFlags = HidePackage p : packageFlags s })
-ignorePackage p = 
-  updDynFlags (\s -> s{ packageFlags = IgnorePackage p : packageFlags s })
-
--- -i on its own deletes the import paths
-addImportPath "" = updDynFlags (\s -> s{importPaths = []})
-addImportPath p  = do
-  paths <- splitPathList p
-  updDynFlags (\s -> s{importPaths = importPaths s ++ paths})
-
--- we can only switch between HscC, HscAsmm, and HscILX with dynamic flags 
--- (-fvia-C, -fasm, -filx respectively).
-setTarget l = updDynFlags (\dfs -> case hscTarget dfs of
-					HscC   -> dfs{ hscTarget = l }
-					HscAsm -> dfs{ hscTarget = l }
-					HscILX -> dfs{ hscTarget = l }
-					_      -> dfs)
-
-setOptLevel :: Int -> IO ()
-setOptLevel n 
-   = do dflags <- readIORef v_DynFlags
-	if hscTarget dflags == HscInterpreted && n > 0
-	  then putStr "warning: -O conflicts with --interactive; -O ignored.\n"
-	  else writeIORef v_DynFlags (updOptLevel n dflags)
-
------------------------------------------------------------------------------
--- convert sizes like "3.5M" into integers
-
-decodeSize :: String -> Integer
-decodeSize str
-  | c == ""		 = truncate n
-  | c == "K" || c == "k" = truncate (n * 1000)
-  | c == "M" || c == "m" = truncate (n * 1000 * 1000)
-  | c == "G" || c == "g" = truncate (n * 1000 * 1000 * 1000)
-  | otherwise            = throwDyn (CmdLineError ("can't decode size: " ++ str))
-  where (m, c) = span pred str
-        n      = read m  :: Double
-	pred c = isDigit c || c == '.'
-
-
------------------------------------------------------------------------------
--- RTS Hooks
-
-#if __GLASGOW_HASKELL__ >= 504
-foreign import ccall unsafe "setHeapSize"       setHeapSize       :: Int -> IO ()
-foreign import ccall unsafe "enableTimingStats" enableTimingStats :: IO ()
-#else
-foreign import "setHeapSize"       unsafe setHeapSize       :: Int -> IO ()
-foreign import "enableTimingStats" unsafe enableTimingStats :: IO ()
-#endif
-
------------------------------------------------------------------------------
--- Build the Hsc static command line opts
-
-buildStaticHscOpts :: IO [String]
-buildStaticHscOpts = do
-
-  opt_C_ <- getStaticOpts v_Opt_C	-- misc hsc opts from the command line
-
-	-- take into account -fno-* flags by removing the equivalent -f*
-	-- flag from our list.
-  anti_flags <- getStaticOpts v_Anti_opt_C
-  let basic_opts = opt_C_
-      filtered_opts = filter (`notElem` anti_flags) basic_opts
-
-  static <- (do s <- readIORef v_Static; if s then return "-static" 
-					      else return "")
-
-  return ( static : filtered_opts )
-
-setMainIs :: String -> IO ()
-setMainIs arg
-  | not (null main_mod)		-- The arg looked like "Foo.baz"
-  = do { writeIORef v_MainFunIs (Just main_fn) ;
-	 writeIORef v_MainModIs (Just main_mod) }
-
-  | isUpper (head main_fn)	-- The arg looked like "Foo"
-  = writeIORef v_MainModIs (Just main_fn)
-  
-  | otherwise			-- The arg looked like "baz"
-  = writeIORef v_MainFunIs (Just main_fn)
-  where
-    (main_mod, main_fn) = split_longest_prefix arg (== '.')
-  
-
------------------------------------------------------------------------------
--- Via-C compilation stuff
-
--- flags returned are: ( all C compilations
---		       , registerised HC compilations
---		       )
-
-machdepCCOpts dflags
-#if alpha_TARGET_ARCH
-	= return ( ["-w", "-mieee"
-#ifdef HAVE_THREADED_RTS_SUPPORT
-		    , "-D_REENTRANT"
-#endif
-		   ], [] )
-	-- For now, to suppress the gcc warning "call-clobbered
-	-- register used for global register variable", we simply
-	-- disable all warnings altogether using the -w flag. Oh well.
-
-#elif hppa_TARGET_ARCH
-        -- ___HPUX_SOURCE, not _HPUX_SOURCE, is #defined if -ansi!
-        -- (very nice, but too bad the HP /usr/include files don't agree.)
-	= return ( ["-D_HPUX_SOURCE"], [] )
-
-#elif m68k_TARGET_ARCH
-      -- -fno-defer-pop : for the .hc files, we want all the pushing/
-      --    popping of args to routines to be explicit; if we let things
-      --    be deferred 'til after an STGJUMP, imminent death is certain!
-      --
-      -- -fomit-frame-pointer : *don't*
-      --     It's better to have a6 completely tied up being a frame pointer
-      --     rather than let GCC pick random things to do with it.
-      --     (If we want to steal a6, then we would try to do things
-      --     as on iX86, where we *do* steal the frame pointer [%ebp].)
-	= return ( [], ["-fno-defer-pop", "-fno-omit-frame-pointer"] )
-
-#elif i386_TARGET_ARCH
-      -- -fno-defer-pop : basically the same game as for m68k
-      --
-      -- -fomit-frame-pointer : *must* in .hc files; because we're stealing
-      --   the fp (%ebp) for our register maps.
-	= do let n_regs = stolen_x86_regs dflags
-	     sta    <- readIORef v_Static
-	     return ( [ if sta then "-DDONT_WANT_WIN32_DLL_SUPPORT" else ""
---                    , if suffixMatch "mingw32" cTARGETPLATFORM then "-mno-cygwin" else "" 
-		      ],
-		      [ "-fno-defer-pop",
-#ifdef HAVE_GCC_MNO_OMIT_LFPTR
-			-- Some gccs are configured with
-			-- -momit-leaf-frame-pointer on by default, and it
-			-- apparently takes precedence over 
-			-- -fomit-frame-pointer, so we disable it first here.
-			"-mno-omit-leaf-frame-pointer",
-#endif
-			"-fomit-frame-pointer",
-			-- we want -fno-builtin, because when gcc inlines
-			-- built-in functions like memcpy() it tends to
-			-- run out of registers, requiring -monly-n-regs
-			"-fno-builtin",
-	                "-DSTOLEN_X86_REGS="++show n_regs ]
-		    )
-
-#elif ia64_TARGET_ARCH
-	= return ( [], ["-fomit-frame-pointer", "-G0"] )
-
-#elif x86_64_TARGET_ARCH
-	= return ( [], ["-fomit-frame-pointer"] )
-
-#elif mips_TARGET_ARCH
-	= return ( ["-static"], [] )
-
-#elif sparc_TARGET_ARCH
-	= return ( [], ["-w"] )
-	-- For now, to suppress the gcc warning "call-clobbered
-	-- register used for global register variable", we simply
-	-- disable all warnings altogether using the -w flag. Oh well.
-
-#elif powerpc_apple_darwin_TARGET
-      -- -no-cpp-precomp:
-      --     Disable Apple's precompiling preprocessor. It's a great thing
-      --     for "normal" programs, but it doesn't support register variable
-      --     declarations.
-        = return ( [], ["-no-cpp-precomp"] )
-#else
-	= return ( [], [] )
-#endif
-
-picCCOpts dflags
-#if darwin_TARGET_OS
-      -- Apple prefers to do things the other way round.
-      -- PIC is on by default.
-      -- -mdynamic-no-pic:
-      --     Turn off PIC code generation.
-      -- -fno-common:
-      --     Don't generate "common" symbols - these are unwanted
-      --     in dynamic libraries.
-
-    | opt_PIC
-        = return ["-fno-common"]
-    | otherwise
-        = return ["-mdynamic-no-pic"]
-#elif mingw32_TARGET_OS
-      -- no -fPIC for Windows
-        = return []
-#else
-    | opt_PIC
-        = return ["-fPIC"]
-    | otherwise
-        = return []
-#endif
-
------------------------------------------------------------------------------
--- local utils
-
--- -----------------------------------------------------------------------------
--- Version and usage messages
-
-showVersion :: IO ()
-showVersion = do
-  putStrLn (cProjectName ++ ", version " ++ cProjectVersion)
-  exitWith ExitSuccess
-
-showGhcUsage = do 
-  (ghc_usage_path,ghci_usage_path) <- getUsageMsgPaths
-  mode <- readIORef v_GhcMode
-  let usage_path 
-	| DoInteractive <- mode = ghci_usage_path
-	| otherwise		= ghc_usage_path
-  usage <- readFile usage_path
-  dump usage
-  exitWith ExitSuccess
-  where
-     dump ""	      = return ()
-     dump ('$':'$':s) = hPutStr stderr progName >> dump s
-     dump (c:s)	      = hPutChar stderr c >> dump s