Is D Contracts broken?

Hans-Eric Grönlund hasse42g at gmail.com
Wed Aug 29 05:38:59 PDT 2007


Ok, it's not implemented yet. Thanks!

Deewiant Wrote:

> Hans-Eric Grönlund wrote:
> > Is this paragraph in the Contract Programming section of the specification
> > valid?
> > 
> > "If a function in a derived class overrides a function in its super class,
> > then only one of the in contracts of the function and its base functions must
> > be satisfied."
> > 
> > In the tests I make inherited in-clauses are never invoked.
> > 
> > (I have more details on this on my weblog: http://www.hans-eric.com/)
> > 
> 
> http://d.puremagic.com/issues/show_bug.cgi?id=302
> 
> -- 
> Remove ".doesnotlike.spam" from the mail address.




More information about the Digitalmars-d mailing list