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

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to