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

Reply via email to