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#a...
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@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs