forgetting SCC

Serge D. Mechveliani mechvel at botik.ru
Sun Feb 7 12:03:48 EST 2010


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 at botik.ru


More information about the Glasgow-haskell-users mailing list