Re: Disable optimization

On Wed, 20 Feb 2008, Johan Tibell wrote:

On Wed, Feb 20, 2008 at 5:16 PM, 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. I don't think it was a good idea to switch on optimization silently from one Cabal version to another one. It would have been better to let people configure Cabal globally and manually to use optimization.

But we definitely want optimization on by default to prevent a poor user experience, right?

This could be achieved by shipping Cabal with a default settings file. It's however difficult to add new default options in a later update installation.