<div class="gmail_quote">On 6 April 2012 14:03, Timon Gehr <span dir="ltr"><<a href="mailto:timon.gehr@gmx.ch">timon.gehr@gmx.ch</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It's a maze of complex decisions.<br>
</blockquote>
<br></div>
I think you can add a list of annotations to the class in the AST that represents a declaration (the common superclass of all declarations) and everything will just work.</blockquote><div><br></div><div>Yeah, I always imagined it being about that simple too... are you able to proof the concept?</div>
<div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
(I know Java does this. But Java has a trivial type system compared with<br>
D. It doesn't even have type aliases. It doesn't have type constructors.<br>
Etc.)<br>
</blockquote>
<br></div>
I think there is some sort of communication problem, because the feature that is being requested is quite simple. It would probably be valuable if you could point out the issues you see in detail (using example code.)</blockquote>
<div><br></div><div>Indeed.</div></div>