On 6 April 2012 14:03, Timon Gehr <timon.g...@gmx.ch> wrote: > > It's a maze of complex decisions. >> > > 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.
Yeah, I always imagined it being about that simple too... are you able to proof the concept? (I know Java does this. But Java has a trivial type system compared with >> D. It doesn't even have type aliases. It doesn't have type constructors. >> Etc.) >> > > 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.) Indeed.