• bearophile (5/5) Jan 01 2013 Maybe module-private UDAs are usable to implement the base of a
• Andrei Alexandrescu (4/9) Jan 01 2013 I think this fits templates better; UDAs associate with declarations and...

"bearophile" <bearophileHUGS lycos.com> writes:

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

Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:

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