X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FDriverFlags.hs;h=4bd5129b2ce4138869918fdaa4ea1e59db87aa5c;hb=9a592c0b9c6f8f5f91b7da7c11c7a560bf5f4e77;hp=db254e5d13197d885828b9e014b626e1a4cda17b;hpb=d364541154457a49e3c35d671d7a1b57c9c4cca3;p=ghc-hetmet.git diff --git a/ghc/compiler/main/DriverFlags.hs b/ghc/compiler/main/DriverFlags.hs index db254e5..4bd5129 100644 --- a/ghc/compiler/main/DriverFlags.hs +++ b/ghc/compiler/main/DriverFlags.hs @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- --- $Id: DriverFlags.hs,v 1.28 2000/12/06 13:03:29 simonmar Exp $ +-- $Id: DriverFlags.hs,v 1.29 2000/12/08 10:26:41 simonmar Exp $ -- -- Driver flags -- @@ -439,6 +439,13 @@ dynamic_flags = [ , ( "fglasgow-exts", NoArg (setDynFlag Opt_GlasgowExts) ) , ( "fno-implicit-prelude", NoArg (setDynFlag Opt_NoImplicitPrelude) ) + -- Optimisation flags are treated specially, so the normal + -- -fno-* pattern below doesn't work. We therefore allow + -- certain optimisation passes to be turned off explicitly: + , ( "fno-strictness" , NoArg (writeIORef v_Strictness False) ) + , ( "fno-cpr" , NoArg (writeIORef v_CPR False) ) + , ( "fno-cse" , NoArg (writeIORef v_CSE False) ) + , ( "fallow-overlapping-instances", NoArg (setDynFlag Opt_AllowOverlappingInstances) )