diff options
| author | simonpj <unknown> | 2001-03-12 14:06:38 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2001-03-12 14:06:38 +0000 |
| commit | 6d6fccd075268f92cb4fe8cde58c080c1ae48eef (patch) | |
| tree | 76a992e62462da5ee8d9ca9de583145e3b87d06a | |
| parent | 98f7856112933688687fd4312130ea97e0b24fc0 (diff) | |
| download | haskell-6d6fccd075268f92cb4fe8cde58c080c1ae48eef.tar.gz | |
[project @ 2001-03-12 14:06:38 by simonpj]
Remove -funfolding-interface-threshold
| -rw-r--r-- | ghc/compiler/main/CmdLineOpts.lhs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ghc/compiler/main/CmdLineOpts.lhs b/ghc/compiler/main/CmdLineOpts.lhs index 2aa9453fa8..e66aea88f2 100644 --- a/ghc/compiler/main/CmdLineOpts.lhs +++ b/ghc/compiler/main/CmdLineOpts.lhs @@ -75,7 +75,6 @@ module CmdLineOpts ( opt_SimplExcessPrecision, -- Unfolding control - opt_UF_HiFileThreshold, opt_UF_CreationThreshold, opt_UF_UseThreshold, opt_UF_FunAppDiscount, @@ -489,7 +488,7 @@ opt_UnboxStrictFields = lookUp SLIT("-funbox-strict-fields") {- The optional '-inpackage=P' flag tells what package we are compiling this module for. - The Prelude, for example is compiled with '-inpackage prelude' + The Prelude, for example is compiled with '-inpackage std' -} opt_InPackage = case lookup_str "-inpackage=" of Just p -> _PK_ p @@ -517,7 +516,6 @@ opt_SimplCaseMerge = lookUp SLIT("-fcase-merge") opt_SimplExcessPrecision = lookUp SLIT("-fexcess-precision") -- Unfolding control -opt_UF_HiFileThreshold = lookup_def_int "-funfolding-interface-threshold" (45::Int) opt_UF_CreationThreshold = lookup_def_int "-funfolding-creation-threshold" (45::Int) opt_UF_UseThreshold = lookup_def_int "-funfolding-use-threshold" (8::Int) -- Discounts can be big opt_UF_FunAppDiscount = lookup_def_int "-funfolding-fun-discount" (6::Int) -- It's great to inline a fn @@ -586,7 +584,6 @@ isStaticHscFlag f = "fcontext-stack", "fliberate-case-threshold", "fhistory-size", - "funfolding-interface-threshold", "funfolding-creation-threshold", "funfolding-use-threshold", "funfolding-fun-discount", |