[ ghc-Bugs-631320 ] {-# OPTIONS -O0 #-} not allowed

[noreply at sourceforge.net]

Bugs item #631320, was opened at 2002-10-30 15:57
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=631320&group_id=8032

Category: Compiler
Group: 5.04.1
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: {-# OPTIONS -O0 #-} not allowed

Initial Comment:
When I tried to turn off the pessimizer for certain
files it complained that the -O0 option was not allowed
in the file.  Very annoying.

lennart at augustsson.net

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=631320&group_id=8032