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-d...@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
