how do I activate contracts for phobos functions in dmd

Richard Palme richardpalme at tutanota.de
Fri Nov 2 16:58:23 UTC 2018


On Friday, 2 November 2018 at 16:41:32 UTC, Stefan Koch wrote:
> Which phobos functions are used in dmd?
> there _should_ be none!

I think I didn't phrase the title correctly:

I'm using dmd as compiler and want to activate the contracts of 
phobos functions. For example there's a phobos function 
std.bitmanip.opIndex implemented like this:

bool opIndex(size_t i) const @nogc pure nothrow
     in {
         assert(i < _len);
     }
     do {
         return cast(bool) bt(_ptr, i);
     }

and when I call this function from my code I want the pre 
contract to be checked (assert(i < _len)


More information about the Digitalmars-d-learn mailing list