Simon Peyton-Jones simonpj at
Wed Nov 6 10:55:09 UTC 2013

I've just noticed that there is no GHC language extension for annotations
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

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

More information about the Glasgow-haskell-users mailing list