OPTIONS_GHC -auto-all

[Malcolm Wallace]

"Serge D. Mechveliani" <mechvel at botik.ru> 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