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