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