Disable optimization

[Henning Thielemann]

On Wed, 20 Feb 2008, Lennart Kolmodin wrote:

> Ross Paterson wrote:
> > On Wed, Feb 20, 2008 at 05:16:22PM +0100, Henning Thielemann wrote:
> >>  I have upgraded to Cabal 1.2 while still using GHC-6.4.1. In the Haskore
> >> project there is the module NewResolutions.lhs which let GHC run into
> >> extensive swapping (certainly due to excessive memory consumption) on
> >> compilation when compiled with optimization. One can say, it cannot be
> >> compiled this way. This is clearly a compiler bug, but upgrading the
> >> compiler is not an option here. Thus I used unoptimized compilation so
> >> far. Now, Cabal 1.2 seems to have optimization set by default. While it
> >> was easy to add optimization by using 'GHC-Options' field it is not
> >> obvious how to override Cabal defaults.
> >
> > How about an OPTIONS -Onot pragma in the affected source file?

I like to do it this way, but that pragma seems not to override the global
Cabal setting.

I added

> {-# OPTIONS_GHC -Onot #-}

to the top of the module and I also added an invalid option, which let the
compiler fail, so this pragma is indeed processed.

> > (Putting optimization options in GHC-Options is now discouraged.)

Hackage upload told me about.