Re: OPTIONS_GHC -auto-all

On 12/4/06, Serge D. Mechveliani wrote:

In my previous letter I wrote about

{-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-}

in ghc-6.6.

Now, I improve the typo and enter

{-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-}

in order to force -auto-all for a certain particular module. It still reports

make build runhaskell Setup.hs build Preprocessing library dumatel-1.6... Building dumatel-1.6... LemmaSearch.hs: unknown flags in {-# OPTIONS #-} pragma: -prof -auto-all

Who knows, please, what is the matter?

-prof and -auto-all are static flags. They cannot be turned on after GHC starts processing the file. See http://www.haskell.org/ghc/docs/latest/html/users_guide/static-dynamic-flags... -- Cheers, Lemmih