On 1/1/13 8:49 AM, bearophile wrote:
Maybe module-private UDAs are usable to implement the base of a management of Tainted Data:http://www.adacore.com/adaanswers/gems/gem-82/ Bye, bearophile
I think this fits templates better; UDAs associate with declarations and are not transitive.
Andrei
