Adam D. Ruppe:
These are pretty easy to add to dmd. In doc.c's FuncDelaration::toDocBuffer you can throw in something like this:if(frequire) buf->writestring(frequire->toChars()); if(fensure) buf->writestring(fensure->toChars());with a little cleanup and a wrapper macro and I think that would be good.
Maybe with a compiler switch syntax like: -D:+-switch1,...,+-switchn Using a command like? -D:+contracts Bye, bearophile
