Annotations

[Simon Marlow]

Simon, Austin and I discussed this briefly yesterday. There's an 
existing ticket:

   http://ghc.haskell.org/trac/ghc/ticket/4268

I added a comment to the ticket to summarise our conclusion: we won't 
add a flag for the pragma, however we should add a warning when an ANN 
pragma is being ignored.

On 06/11/2013 10:55, Simon Peyton-Jones 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
>