>> I propose to encode helpful information into macro calls as needed >> for the C programming language. … > On the "benefits" side of the equation, is there are ways in which it > will directly benefit the kernel developers who will need to review > the patches and review the annotations, that can be demonstrated > immediately? Not in some abstract way, or "when I my research work is > completed", but a very concrete way that will be obvious to those of > us who are still not completely convinced? Would any contributors like to clarify further possibilities around the application of source code annotation languages? Regards, Markus
