<br><br><div class="gmail_quote">On Sun, Jan 6, 2013 at 3:58 PM, Andrei Alexandrescu <span dir="ltr"><<a href="mailto:SeeWebsiteForEmail@erdani.org" target="_blank">SeeWebsiteForEmail@erdani.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 1/6/13 9:25 AM, Philippe Sigaud wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
That's too bad, because declaring UDA is simple, and receiving them with<br>
arguments is easy also. There is a fundamental imbalance in having<br>
having propagating attributes through functions so difficult.<br>
</blockquote>
<br></div>
<brokenrecord>For designing attributes that navigate with types templates would be the solution of choice.</brokenrecord></blockquote><div><br></div><div>Care to show a small example?</div><div><br></div><div>
I tried 1-2 years ago. With alias this, that's partially acceptable. I just remember it was a bit burdensome tp use and dumped it.</div><div>But OK, if UDA do not do that, then I'll go back to templates. Since alias this become better, maybe something can be done here.</div>
</div>