-----------------------------------------------------------------------------
--- $Id: DriverState.hs,v 1.28 2001/02/20 15:44:26 simonpj Exp $
+-- $Id: DriverState.hs,v 1.30 2001/02/28 11:48:34 simonpj Exp $
--
-- Settings for the driver
--
-- these are the static flags you get when -O is on.
hsc_minusO_flags =
[
+ "-fignore-asserts",
"-ffoldr-build-on",
"-fdo-eta-reduction",
"-fdo-lambda-eta-expansion",
CoreLiberateCase
else
CoreDoNothing,
+ if opt_level >= 2 then
+ CoreDoSpecConstr
+ else
+ CoreDoNothing,
-- Final clean-up simplification:
CoreDoSimplify (isAmongSimpl [