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
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