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

Bugs item #631320, was opened at 2002-10-30 23:57
Message generated for change (Comment added) made by simonmar
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: Closed
>Resolution: Fixed
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@xxxxxxxxxxxxxx

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

>Comment By: Simon Marlow (simonmar)
Date: 2003-09-23 14:53

Message:
Logged In: YES 
user_id=48280

Fixed, eventually.

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

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