http://d.puremagic.com/issues/show_bug.cgi?id=3407
--- Comment #7 from Andrei Alexandrescu <[email protected]> 2009-10-30 17:21:41 PDT --- (In reply to comment #6) > LDC already have all the checks splat in different options: > > $ ldc --help > [...] > -enable-asserts - (*) Enable assertions > -enable-boundscheck - (*) Enable array bounds > checks > -enable-contracts - (*) Enable function pre- and > post-conditions > -enable-invariants - (*) Enable invariants > -enable-postconditions - (*) Enable function > postconditions > -enable-preconditions - (*) Enable function > preconditions > -enable-inlining - (*) Enable function inlining > in -O<N> > [...] > Options marked with (*) also have a -disable-FOO variant with inverted > meaning. > $ > > It will be very nice if this switches are included in the reference > implementation too. I think this is too much configurability that does not reflect principles, only mechanism. DbC means assert, precondition, postcondition, and invariant are enabled. I don't think it's wise to enable or disable those independently. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
