That is my proposal as well: introduce a first class entity that describes a Pragma instance. Who would be interested to play with this?
How it could be done?��
Probably compiler could search preferred Pragma class for given selector. And then we will have collection of real pragma instances inside CompiledMethod. What do you think?