> To be honest I think pragmas are starting to be overrated.  I don't
> even know where to look to see what happens when a pragma is seen.  I
> suppose it is theoretically as powerful in this particular case as
> macros, but for me the macros feel much more consistent.

What about looking for senders and implementors of the pragma selector?

> I would see pragmas as useful for the kind of things that Lisp does
> with declare, i.e. telling the compiler the type of the argument so it
> can specialize the method, tell the compiler to generate for fast
> code, not safety, and so on.  In other words, a kind of annotation,
> since that's what it looks like to me.

Things like these have been done in Philippe Marschall's master thesis:

   http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi/abstract=yes?Mars06a

Lukas

-- 
Lukas Renggli
http://www.lukas-renggli.ch