Annotations

[Simon Peyton-Jones]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20131106/fe5bba2d/attachment.html>