I see, thank you.
> > {-# OPTIONS_GHC -fglasgow-exts -prof -auto-all #-}
> >
> >in order to force -auto-all for a certain particular module.
> >It still reports
> > unknown flags in {-# OPTIONS #-} pragma: -prof -auto-all
> -prof and -auto-all are static flags. They cannot be turned on
On 12/4/06, Serge D. Mechveliani <[EMAIL PROTECTED]> 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
> From: [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED] On Behalf
> Of Serge D. Mechveliani
>
> 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
> LemmaSearch.hs:
>
"Serge D. Mechveliani" <[EMAIL PROTECTED]> wrote:
> {-# OPTIONS_GHC -fglasgow-ext -prof -auto-all #-}
>
> LemmaSearch.hs:
> unknown flags in {-# OPTIONS #-} pragma: -fglasgow-ext -prof -auto-all
You have spelled the first option wrongly: should be -fglasgow-exts.
Regards,
Malcolm
