On Sun, Feb 07, 2010 at 02:16:11PM +0100, Daniel Fischer wrote:
Am Sonntag 07 Februar 2010 14:05:48 schrieb Serge D. Mechveliani:
On Sun, Feb 07, 2010 at 01:22:07PM +0100, Daniel Fischer wrote:
Am Sonntag 07 Februar 2010 13:06:14 schrieb Serge D. Mechveliani:
I am sorry, indeed, ghc-6.12.1 warns of Unrecognised pragma on {-# "foo" #-}. I have just missed this warning.
The next question is: why it is a warning and not an error break?
Because it might be a valid pragma for some other implementation, so erroring on unrecognised pragmas is not a good option. [..]
Some of earlier implementations or only future?
I know of no implementation that used {-# "string" #-} as a pragma, so future.
Do you expect for future to appear a pragma without its keyword?
No. But you can't be sure, can you?
My idea and suggestion is: if the GHC developers take for future that each pragma must have its keyword, then this will prevent some user errors. And the question is: what might be the drawback, I wonder. ----------------- Serge Mechveliani mechvel@botik.ru