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