Re: Making argv a constant

[Fergus Henderson]

Sverker Nilsson wrote:
> 
> Anyway, what it seems to me you lose by doing it the way you described
> is that you are stuck again if some day you want to set those flags
> some other way than from the environment variables. For example with
> pragmas.

Or for another example, perhaps you would like to read options from
a configuration file (~/.ghc_options, for example).

-- 
Fergus Henderson <[EMAIL PROTECTED]>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]         |     -- the last words of T. S. Garp.