ghc/compiler/main/DriverFlags.hs

   1 -----------------------------------------------------------------------------
   2 -- $Id: DriverFlags.hs,v 1.19 2000/11/14 16:28:38 simonmar Exp $
   3 --
   4 -- Driver flags
   5 --
   6 -- (c) Simon Marlow 2000
   7 --
   8 -----------------------------------------------------------------------------
   9
  10 module DriverFlags where
  11
  12 #include "HsVersions.h"
  13
  14 import PackageMaintenance
  15 import DriverState
  16 import DriverUtil
  17 import TmpFiles         ( v_TmpDir )
  18 import CmdLineOpts
  19 import Config
  20 import Util
  21
  22 import Exception
  23 import IOExts
  24 import IO
  25 import System
  26 import Char
  27
  28 -----------------------------------------------------------------------------
  29 -- Flags
  30
  31 -- Flag parsing is now done in stages:
  32 --
  33 --     * parse the initial list of flags and remove any flags understood
  34 --       by the driver only.  Determine whether we're in multi-compilation
  35 --       or single-compilation mode.
  36 --
  37 --     * gather the list of "static" hsc flags, and assign them to the global
  38 --       static hsc flags variable.
  39 --
  40 --     * build the inital DynFlags from the remaining flags.
  41 --
  42 --     * complain if we've got any flags left over.
  43 --
  44 --     * for each source file: grab the OPTIONS, and build a new DynFlags
  45 --       to pass to the compiler.
  46
  47 -----------------------------------------------------------------------------
  48 -- Process command-line
  49
  50 data OptKind
  51         = NoArg (IO ())                     -- flag with no argument
  52         | HasArg (String -> IO ())          -- flag has an argument (maybe prefix)
  53         | SepArg (String -> IO ())          -- flag has a separate argument
  54         | Prefix (String -> IO ())          -- flag is a prefix only
  55         | OptPrefix (String -> IO ())       -- flag may be a prefix
  56         | AnySuffix (String -> IO ())       -- flag is a prefix, pass whole arg to fn
  57         | PassFlag  (String -> IO ())       -- flag with no arg, pass flag to fn
  58         | PrefixPred (String -> Bool) (String -> IO ())
  59         | AnySuffixPred (String -> Bool) (String -> IO ())
  60
  61 processArgs :: [(String,OptKind)] -> [String] -> [String]
  62    -> IO [String]  -- returns spare args
  63 processArgs _spec [] spare = return (reverse spare)
  64 processArgs spec args@(('-':arg):args') spare = do
  65   case findArg spec arg of
  66     Just (rest,action) ->
  67       do args' <- processOneArg action rest args
  68          processArgs spec args' spare
  69     Nothing ->
  70       processArgs spec args' (('-':arg):spare)
  71 processArgs spec (arg:args) spare =
  72   processArgs spec args (arg:spare)
  73
  74 processOneArg :: OptKind -> String -> [String] -> IO [String]
  75 processOneArg action rest (dash_arg@('-':arg):args) =
  76   case action of
  77         NoArg  io ->
  78                 if rest == ""
  79                         then io >> return args
  80                         else unknownFlagErr dash_arg
  81
  82         HasArg fio ->
  83                 if rest /= ""
  84                         then fio rest >> return args
  85                         else case args of
  86                                 [] -> unknownFlagErr dash_arg
  87                                 (arg1:args1) -> fio arg1 >> return args1
  88
  89         SepArg fio ->
  90                 case args of
  91                         [] -> unknownFlagErr dash_arg
  92                         (arg1:args1) -> fio arg1 >> return args1
  93
  94         Prefix fio ->
  95                 if rest /= ""
  96                         then fio rest >> return args
  97                         else unknownFlagErr dash_arg
  98
  99         PrefixPred p fio ->
 100                 if rest /= ""
 101                         then fio rest >> return args
 102                         else unknownFlagErr dash_arg
 103
 104         OptPrefix fio       -> fio rest >> return args
 105
 106         AnySuffix fio       -> fio dash_arg >> return args
 107
 108         AnySuffixPred p fio -> fio dash_arg >> return args
 109
 110         PassFlag fio  ->
 111                 if rest /= ""
 112                         then unknownFlagErr dash_arg
 113                         else fio dash_arg >> return args
 114
 115 findArg :: [(String,OptKind)] -> String -> Maybe (String,OptKind)
 116 findArg spec arg
 117   = case [ (remove_spaces rest, k)
 118          | (pat,k) <- spec, Just rest <- [my_prefix_match pat arg],
 119            arg_ok k rest arg ]
 120     of
 121         []      -> Nothing
 122         (one:_) -> Just one
 123
 124 arg_ok (NoArg _)            rest arg = null rest
 125 arg_ok (HasArg _)           rest arg = True
 126 arg_ok (SepArg _)           rest arg = null rest
 127 arg_ok (Prefix _)           rest arg = not (null rest)
 128 arg_ok (PrefixPred p _)     rest arg = not (null rest) && p rest
 129 arg_ok (OptPrefix _)        rest arg = True
 130 arg_ok (PassFlag _)         rest arg = null rest
 131 arg_ok (AnySuffix _)        rest arg = True
 132 arg_ok (AnySuffixPred p _)  rest arg = p arg
 133
 134 -----------------------------------------------------------------------------
 135 -- Static flags
 136
 137 -- note that ordering is important in the following list: any flag which
 138 -- is a prefix flag (i.e. HasArg, Prefix, OptPrefix, AnySuffix) will override
 139 -- flags further down the list with the same prefix.
 140
 141 static_flags =
 142   [  ------- help -------------------------------------------------------
 143      ( "?"              , NoArg long_usage)
 144   ,  ( "-help"          , NoArg long_usage)
 145
 146
 147       ------- version ----------------------------------------------------
 148   ,  ( "-version"        , NoArg (do hPutStrLn stdout (cProjectName
 149                                       ++ ", version " ++ cProjectVersion)
 150                                      exitWith ExitSuccess))
 151   ,  ( "-numeric-version", NoArg (do hPutStrLn stdout cProjectVersion
 152                                      exitWith ExitSuccess))
 153
 154       ------- verbosity ----------------------------------------------------
 155   ,  ( "v"              , NoArg (writeIORef v_Verbose True) )
 156   ,  ( "n"              , NoArg (writeIORef v_Dry_run True) )
 157
 158         ------- recompilation checker --------------------------------------
 159   ,  ( "recomp"         , NoArg (writeIORef v_Recomp True) )
 160   ,  ( "no-recomp"      , NoArg (writeIORef v_Recomp False) )
 161
 162         ------- ways --------------------------------------------------------
 163   ,  ( "prof"           , NoArg (addNoDups v_Ways       WayProf) )
 164   ,  ( "unreg"          , NoArg (addNoDups v_Ways       WayUnreg) )
 165   ,  ( "dll"            , NoArg (addNoDups v_Ways WayDll) )
 166   ,  ( "ticky"          , NoArg (addNoDups v_Ways       WayTicky) )
 167   ,  ( "parallel"       , NoArg (addNoDups v_Ways       WayPar) )
 168   ,  ( "gransim"        , NoArg (addNoDups v_Ways       WayGran) )
 169   ,  ( "smp"            , NoArg (addNoDups v_Ways       WaySMP) )
 170   ,  ( "debug"          , NoArg (addNoDups v_Ways       WayDebug) )
 171         -- ToDo: user ways
 172
 173         ------ Debugging ----------------------------------------------------
 174   ,  ( "dppr-noprags",     PassFlag (add v_Opt_C) )
 175   ,  ( "dppr-debug",       PassFlag (add v_Opt_C) )
 176   ,  ( "dppr-user-length", AnySuffix (add v_Opt_C) )
 177       -- rest of the debugging flags are dynamic
 178
 179         ------- Interface files ---------------------------------------------
 180   ,  ( "hi"             , NoArg (writeIORef v_ProduceHi True) )
 181   ,  ( "nohi"           , NoArg (writeIORef v_ProduceHi False) )
 182
 183         --------- Profiling --------------------------------------------------
 184   ,  ( "auto-dicts"     , NoArg (add v_Opt_C "-fauto-sccs-on-dicts") )
 185   ,  ( "auto-all"       , NoArg (add v_Opt_C "-fauto-sccs-on-all-toplevs") )
 186   ,  ( "auto"           , NoArg (add v_Opt_C "-fauto-sccs-on-exported-toplevs") )
 187   ,  ( "caf-all"        , NoArg (add v_Opt_C "-fauto-sccs-on-individual-cafs") )
 188          -- "ignore-sccs"  doesn't work  (ToDo)
 189
 190   ,  ( "no-auto-dicts"  , NoArg (add v_Anti_opt_C "-fauto-sccs-on-dicts") )
 191   ,  ( "no-auto-all"    , NoArg (add v_Anti_opt_C "-fauto-sccs-on-all-toplevs") )
 192   ,  ( "no-auto"        , NoArg (add v_Anti_opt_C "-fauto-sccs-on-exported-toplevs") )
 193   ,  ( "no-caf-all"     , NoArg (add v_Anti_opt_C "-fauto-sccs-on-individual-cafs") )
 194
 195         ------- Miscellaneous -----------------------------------------------
 196   ,  ( "no-link-chk"    , NoArg (return ()) ) -- ignored for backwards compat
 197
 198         ------- Output Redirection ------------------------------------------
 199   ,  ( "odir"           , HasArg (writeIORef v_Output_dir  . Just) )
 200   ,  ( "o"              , SepArg (writeIORef v_Output_file . Just) )
 201   ,  ( "osuf"           , HasArg (writeIORef v_Object_suf  . Just) )
 202   ,  ( "hisuf"          , HasArg (writeIORef v_Hi_suf) )
 203   ,  ( "tmpdir"         , HasArg (writeIORef v_TmpDir . (++ "/")) )
 204   ,  ( "ohi"            , HasArg (\s -> case s of
 205                                           "-" -> writeIORef v_Hi_on_stdout True
 206                                           _   -> writeIORef v_Output_hi (Just s)) )
 207         -- -odump?
 208
 209   ,  ( "keep-hc-file"   , AnySuffix (\_ -> writeIORef v_Keep_hc_files True) )
 210   ,  ( "keep-s-file"    , AnySuffix (\_ -> writeIORef v_Keep_s_files  True) )
 211   ,  ( "keep-raw-s-file", AnySuffix (\_ -> writeIORef v_Keep_raw_s_files  True) )
 212   ,  ( "keep-tmp-files" , AnySuffix (\_ -> writeIORef v_Keep_tmp_files True) )
 213
 214   ,  ( "split-objs"     , NoArg (if can_split
 215                                     then do writeIORef v_Split_object_files True
 216                                             add v_Opt_C "-fglobalise-toplev-names"
 217                                     else hPutStrLn stderr
 218                                             "warning: don't know how to  split \
 219                                             \object files on this architecture"
 220                                 ) )
 221
 222         ------- Include/Import Paths ----------------------------------------
 223   ,  ( "i"              , OptPrefix (addToDirList v_Import_paths) )
 224   ,  ( "I"              , Prefix    (addToDirList v_Include_paths) )
 225
 226         ------- Libraries ---------------------------------------------------
 227   ,  ( "L"              , Prefix (addToDirList v_Library_paths) )
 228   ,  ( "l"              , Prefix (add v_Cmdline_libraries) )
 229
 230         ------- Packages ----------------------------------------------------
 231   ,  ( "package-name"   , HasArg (\s -> add v_Opt_C ("-inpackage="++s)) )
 232
 233   ,  ( "package"        , HasArg (addPackage) )
 234   ,  ( "syslib"         , HasArg (addPackage) ) -- for compatibility w/ old vsns
 235
 236   ,  ( "-list-packages"  , NoArg (listPackages) )
 237   ,  ( "-add-package"    , NoArg (newPackage) )
 238   ,  ( "-delete-package" , SepArg (deletePackage) )
 239
 240         ------- Specific phases  --------------------------------------------
 241   ,  ( "pgmL"           , HasArg (writeIORef v_Pgm_L) )
 242   ,  ( "pgmP"           , HasArg (writeIORef v_Pgm_P) )
 243   ,  ( "pgmc"           , HasArg (writeIORef v_Pgm_c) )
 244   ,  ( "pgmm"           , HasArg (writeIORef v_Pgm_m) )
 245   ,  ( "pgms"           , HasArg (writeIORef v_Pgm_s) )
 246   ,  ( "pgma"           , HasArg (writeIORef v_Pgm_a) )
 247   ,  ( "pgml"           , HasArg (writeIORef v_Pgm_l) )
 248
 249   ,  ( "optdep"         , HasArg (add v_Opt_dep) )
 250   ,  ( "optl"           , HasArg (add v_Opt_l) )
 251   ,  ( "optdll"         , HasArg (add v_Opt_dll) )
 252
 253         ------ Warning opts -------------------------------------------------
 254   ,  ( "W"              , NoArg (writeIORef v_Warning_opt W_) )
 255   ,  ( "Wall"           , NoArg (writeIORef v_Warning_opt W_all) )
 256   ,  ( "Wnot"           , NoArg (writeIORef v_Warning_opt W_not) )
 257   ,  ( "w"              , NoArg (writeIORef v_Warning_opt W_not) )
 258
 259         ----- Linker --------------------------------------------------------
 260   ,  ( "static"         , NoArg (writeIORef v_Static True) )
 261
 262         ------ Compiler flags -----------------------------------------------
 263   ,  ( "O2-for-C"          , NoArg (writeIORef v_minus_o2_for_C True) )
 264   ,  ( "O"                 , OptPrefix (setOptLevel) )
 265
 266   ,  ( "fno-asm-mangling"  , NoArg (writeIORef v_Do_asm_mangling False) )
 267
 268   ,  ( "fmax-simplifier-iterations",
 269                 Prefix (writeIORef v_MaxSimplifierIterations . read) )
 270
 271   ,  ( "fusagesp"          , NoArg (do writeIORef v_UsageSPInf True
 272                                        add v_Opt_C "-fusagesp-on") )
 273
 274   ,  ( "fexcess-precision" , NoArg (do writeIORef v_Excess_precision True
 275                                        add v_Opt_C "-fexcess-precision"))
 276
 277         -- flags that are "active negatives"
 278   ,  ( "fno-implicit-prelude"   , PassFlag (add v_Opt_C) )
 279   ,  ( "fno-prune-tydecls"      , PassFlag (add v_Opt_C) )
 280   ,  ( "fno-prune-instdecls"    , PassFlag (add v_Opt_C) )
 281   ,  ( "fno-pre-inlining"       , PassFlag (add v_Opt_C) )
 282
 283         -- All other "-fno-<blah>" options cancel out "-f<blah>" on the hsc cmdline
 284   ,  ( "fno-",                  PrefixPred (\s -> isStaticHscFlag ("f"++s))
 285                                     (\s -> add v_Anti_opt_C ("-f"++s)) )
 286
 287         -- Pass all remaining "-f<blah>" options to hsc
 288   ,  ( "f",                     AnySuffixPred (isStaticHscFlag) (add v_Opt_C) )
 289   ]
 290
 291 -----------------------------------------------------------------------------
 292 -- parse the dynamic arguments
 293
 294 GLOBAL_VAR(v_InitDynFlags, error "no InitDynFlags", DynFlags)
 295 GLOBAL_VAR(v_DynFlags, error "no DynFlags", DynFlags)
 296
 297 setDynFlag f = do
 298    dfs <- readIORef v_DynFlags
 299    writeIORef v_DynFlags dfs{ flags = f : flags dfs }
 300
 301 unSetDynFlag f = do
 302    dfs <- readIORef v_DynFlags
 303    writeIORef v_DynFlags dfs{ flags = filter (/= f) (flags dfs) }
 304
 305 -- we can only change HscC to HscAsm and vice-versa with dynamic flags
 306 -- (-fvia-C and -fasm).
 307 setLang l = do
 308    dfs <- readIORef v_DynFlags
 309    case hscLang dfs of
 310         HscC   -> writeIORef v_DynFlags dfs{ hscLang = l }
 311         HscAsm -> writeIORef v_DynFlags dfs{ hscLang = l }
 312         _      -> return ()
 313
 314 dynamic_flags = [
 315
 316      ( "cpp",           NoArg  (updateState (\s -> s{ cpp_flag = True })) )
 317   ,  ( "#include",      HasArg (addCmdlineHCInclude) )
 318
 319   ,  ( "optL",          HasArg (addOpt_L) )
 320   ,  ( "optP",          HasArg (addOpt_P) )
 321   ,  ( "optc",          HasArg (addOpt_c) )
 322   ,  ( "optm",          HasArg (addOpt_m) )
 323   ,  ( "opta",          HasArg (addOpt_a) )
 324
 325         ------ HsCpp opts ---------------------------------------------------
 326   ,  ( "D",             Prefix (\s -> addOpt_P ("-D'"++s++"'") ) )
 327   ,  ( "U",             Prefix (\s -> addOpt_P ("-U'"++s++"'") ) )
 328
 329         ------ Debugging ----------------------------------------------------
 330   ,  ( "dstg-stats",    NoArg (writeIORef v_StgStats True) )
 331
 332   ,  ( "ddump-all",              NoArg (setDynFlag Opt_D_dump_all) )
 333   ,  ( "ddump-most",             NoArg (setDynFlag Opt_D_dump_most) )
 334   ,  ( "ddump-absC",             NoArg (setDynFlag Opt_D_dump_absC) )
 335   ,  ( "ddump-asm",              NoArg (setDynFlag Opt_D_dump_asm) )
 336   ,  ( "ddump-cpranal",          NoArg (setDynFlag Opt_D_dump_cpranal) )
 337   ,  ( "ddump-deriv",            NoArg (setDynFlag Opt_D_dump_deriv) )
 338   ,  ( "ddump-ds",               NoArg (setDynFlag Opt_D_dump_ds) )
 339   ,  ( "ddump-flatC",            NoArg (setDynFlag Opt_D_dump_flatC) )
 340   ,  ( "ddump-foreign",          NoArg (setDynFlag Opt_D_dump_foreign) )
 341   ,  ( "ddump-inlinings",        NoArg (setDynFlag Opt_D_dump_inlinings) )
 342   ,  ( "ddump-occur-anal",       NoArg (setDynFlag Opt_D_dump_occur_anal) )
 343   ,  ( "ddump-parsed",           NoArg (setDynFlag Opt_D_dump_parsed) )
 344   ,  ( "ddump-realC",            NoArg (setDynFlag Opt_D_dump_realC) )
 345   ,  ( "ddump-rn",               NoArg (setDynFlag Opt_D_dump_rn) )
 346   ,  ( "ddump-simpl",            NoArg (setDynFlag Opt_D_dump_simpl) )
 347   ,  ( "ddump-simpl-iterations", NoArg (setDynFlag Opt_D_dump_simpl_iterations) )
 348   ,  ( "ddump-spec",             NoArg (setDynFlag Opt_D_dump_spec) )
 349   ,  ( "ddump-stg",              NoArg (setDynFlag Opt_D_dump_stg) )
 350   ,  ( "ddump-stranal",          NoArg (setDynFlag Opt_D_dump_stranal) )
 351   ,  ( "ddump-tc",               NoArg (setDynFlag Opt_D_dump_tc) )
 352   ,  ( "ddump-types",            NoArg (setDynFlag Opt_D_dump_types) )
 353   ,  ( "ddump-rules",            NoArg (setDynFlag Opt_D_dump_rules) )
 354   ,  ( "ddump-usagesp",          NoArg (setDynFlag Opt_D_dump_usagesp) )
 355   ,  ( "ddump-cse",              NoArg (setDynFlag Opt_D_dump_cse) )
 356   ,  ( "ddump-worker-wrapper",   NoArg (setDynFlag Opt_D_dump_worker_wrapper) )
 357   ,  ( "dshow-passes",           NoArg (setDynFlag Opt_D_show_passes) )
 358   ,  ( "ddump-rn-trace",         NoArg (setDynFlag Opt_D_dump_rn_trace) )
 359   ,  ( "ddump-rn-stats",         NoArg (setDynFlag Opt_D_dump_rn_stats) )
 360   ,  ( "ddump-stix",             NoArg (setDynFlag Opt_D_dump_stix) )
 361   ,  ( "ddump-simpl-stats",      NoArg (setDynFlag Opt_D_dump_simpl_stats) )
 362   ,  ( "dsource-stats",          NoArg (setDynFlag Opt_D_source_stats) )
 363   ,  ( "dverbose-core2core",     NoArg (setDynFlag Opt_D_verbose_core2core) )
 364   ,  ( "dverbose-stg2stg",       NoArg (setDynFlag Opt_D_verbose_stg2stg) )
 365   ,  ( "ddump-hi-diffs",         NoArg (setDynFlag Opt_D_dump_hi_diffs) )
 366   ,  ( "ddump-hi",               NoArg (setDynFlag Opt_D_dump_hi) )
 367   ,  ( "ddump-minimal-imports",  NoArg (setDynFlag Opt_D_dump_minimal_imports) )
 368   ,  ( "dcore-lint",             NoArg (setDynFlag Opt_DoCoreLinting) )
 369   ,  ( "dstg-lint",              NoArg (setDynFlag Opt_DoStgLinting) )
 370   ,  ( "dusagesp-lint",          NoArg (setDynFlag Opt_DoUSPLinting) )
 371
 372         ------ Warnings ----------------------------------------------------
 373
 374   ,  ( "fwarn-duplicate-exports", NoArg (setDynFlag Opt_WarnDuplicateExports) )
 375   ,  ( "fwarn-hi-shadowing",      NoArg (setDynFlag Opt_WarnHiShadows) )
 376   ,  ( "fwarn-incomplete-patterns",  NoArg (setDynFlag Opt_WarnIncompletePatterns) )
 377   ,  ( "fwarn-missing-fields",    NoArg (setDynFlag Opt_WarnMissingFields) )
 378   ,  ( "fwarn-missing-methods",   NoArg (setDynFlag Opt_WarnMissingMethods))
 379   ,  ( "fwarn-missing-signatures", NoArg (setDynFlag Opt_WarnMissingSigs) )
 380   ,  ( "fwarn-name-shadowing",    NoArg (setDynFlag Opt_WarnNameShadowing) )
 381   ,  ( "fwarn-overlapping-patterns", NoArg (setDynFlag Opt_WarnOverlappingPatterns ) )
 382   ,  ( "fwarn-simple-patterns",   NoArg (setDynFlag Opt_WarnSimplePatterns))
 383   ,  ( "fwarn-type-defaults",     NoArg (setDynFlag Opt_WarnTypeDefaults) )
 384   ,  ( "fwarn-unused-binds",      NoArg (setDynFlag Opt_WarnUnusedBinds) )
 385   ,  ( "fwarn-unused-imports",    NoArg (setDynFlag Opt_WarnUnusedImports) )
 386   ,  ( "fwarn-unused-matches",    NoArg (setDynFlag Opt_WarnUnusedMatches) )
 387   ,  ( "fwarn-deprecations",      NoArg (setDynFlag Opt_WarnDeprecations) )
 388
 389         ------ Machine dependant (-m<blah>) stuff ---------------------------
 390
 391   ,  ( "monly-2-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 2}) ))
 392   ,  ( "monly-3-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 3}) ))
 393   ,  ( "monly-4-regs",  NoArg (updateState (\s -> s{stolen_x86_regs = 4}) ))
 394
 395         ------ Compiler flags -----------------------------------------------
 396
 397   ,  ( "fasm"              , AnySuffix (\_ -> setLang HscAsm) )
 398
 399   ,  ( "fvia-c"            , NoArg (setLang HscC) )
 400   ,  ( "fvia-C"            , NoArg (setLang HscC) )
 401
 402   ,  ( "fglasgow-exts", NoArg (setDynFlag Opt_GlasgowExts) )
 403   ,  ( "fno-implicit-prelude", NoArg (setDynFlag Opt_NoImplicitPrelude) )
 404
 405   ,  ( "fallow-overlapping-instances",
 406                 NoArg (setDynFlag Opt_AllowOverlappingInstances) )
 407
 408   ,  ( "fallow-undecidable-instances",
 409                 NoArg (setDynFlag Opt_AllowUndecidableInstances) )
 410
 411   ,  ( "fgenerics",  NoArg (setDynFlag Opt_Generics) )
 412
 413   ,  ( "freport-compile", NoArg (setDynFlag Opt_ReportCompile) )
 414  ]
 415
 416 -----------------------------------------------------------------------------
 417 -- convert sizes like "3.5M" into integers
 418
 419 decodeSize :: String -> Integer
 420 decodeSize str
 421   | c == ""              = truncate n
 422   | c == "K" || c == "k" = truncate (n * 1000)
 423   | c == "M" || c == "m" = truncate (n * 1000 * 1000)
 424   | c == "G" || c == "g" = truncate (n * 1000 * 1000 * 1000)
 425   | otherwise            = throwDyn (OtherError ("can't decode size: " ++ str))
 426   where (m, c) = span pred str
 427         n      = read m  :: Double
 428         pred c = isDigit c || c == '.'
 429
 430 floatOpt :: IORef Double -> String -> IO ()
 431 floatOpt ref str
 432   = writeIORef ref (read str :: Double)
 433
 434 -----------------------------------------------------------------------------
 435 -- Build the Hsc static command line opts
 436
 437 buildStaticHscOpts :: IO [String]
 438 buildStaticHscOpts = do
 439
 440   opt_C_ <- getStaticOpts v_Opt_C               -- misc hsc opts
 441
 442         -- optimisation
 443   minus_o <- readIORef v_OptLevel
 444   let optimisation_opts =
 445         case minus_o of
 446             0 -> hsc_minusNoO_flags
 447             1 -> hsc_minusO_flags
 448             2 -> hsc_minusO2_flags
 449             _ -> error "unknown opt level"
 450             -- ToDo: -Ofile
 451
 452   let stg_opts = [ "-flet-no-escape" ]
 453         -- let-no-escape always on for now
 454
 455         -- take into account -fno-* flags by removing the equivalent -f*
 456         -- flag from our list.
 457   anti_flags <- getStaticOpts v_Anti_opt_C
 458   let basic_opts = opt_C_ ++ optimisation_opts ++ stg_opts
 459       filtered_opts = filter (`notElem` anti_flags) basic_opts
 460
 461   verb <- is_verbose
 462   let hi_vers = "-fhi-version="++cProjectVersionInt
 463
 464   static <- (do s <- readIORef v_Static; if s then return "-static"
 465                                               else return "")
 466
 467   return ( filtered_opts ++ [ hi_vers, static, verb ] )