OPTIONS_GHC -auto-all

[Serge D. Mechveliani]

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?

-----------------
Serge Mechveliani
mechvel at botik.ru