On Tue, Aug 10, 2010 at 6:58 PM, Ben Kloosterman <bkloo...@gmail.com> wrote:
> Can ( or should) these effects like noalloc be expressed in an > attribute/Meta data system since they are not really part of the language > but the code that is produced? > That's a really good question -- particularly so because attributes that are part of the standard library are free to be interpreted by the compiler and can have defined interpretations. So the answer might well want to be "yes". The problem is that this doesn't really solve the problem at hand, which amounts to "where should that attribute appear in the type". C# lacks support for annotations in certain key places that prove to be very limiting, and the CLR attribute language isn't flexible enough to encode type variables... That said, these *particular* effects definitely are part of the language, no matter how they are encoded for convenience. shap
_______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
