Annotations

[Johan Tibell]

I agree. I would like a warning if I use {-# ANN ... #-} without the
language pragma. I clearly meant to write an annotation!


On Wed, Nov 6, 2013 at 11:55 AM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

>  I’ve just noticed that there is no GHC language extension for annotations
>
>
> http://www.haskell.org/ghc/docs/latest/html/users_guide/extending-ghc.html#annotation-pragmas
>
> That feels like an oversight. Yes, they are in a pragma, but you may get
> an error message if you compile with a stage-1 compiler, for example.
> Plus, the language extensions should truthfully report what extra stuff you
> are using.
>
>
>
> I’m inclined to add a language extension “Annotations”.
>
> ·         Without it {-# ANN … #-} pragmas are ignored as comments
>
> ·         With it, they are treated as annotations
>
> Do you agree?
>
> I don’t know whether this can (or even should) land in 7.8.1.  Do you care
> either way?
>
> Guidance welcome
>
> Simon
>
>
>
> *Microsoft Research Limited (company number 03369488) is registered in
> England and Wales *
>
> *Registered office is at 21 Station Road, Cambridge, CB1 2FB*
>
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20131106/739adab3/attachment.html>