From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] 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: unknown flags in {-# OPTIONS #-} pragma: -prof -auto-all
Who knows, please, what is the matter?
This page explains the difference between static and dynamic flags: http://www.haskell.org/ghc/docs/latest/html/users_guide/static-dynamic-f lags.html And this page tells you that the profiler options are static only, which means you can only tell GHC about them on the command line: http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.h tml#id3155578 Alistair ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************