[Issue 302] in/out contract inheritance yet to be implemented
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Wed Apr 22 06:35:34 PDT 2009
http://d.puremagic.com/issues/show_bug.cgi?id=302
------- Comment #6 from llucax at gmail.com 2009-04-22 08:35 -------
(In reply to comment #5)
> (In reply to comment #4)
> > The spec specifies what the code should do, but the code being generated does
> > something else. How is that not the very definition of wrong-code?
> > (This probably falls in the "the front-end is sending incorrect data to
> > the backend" category)
> >
> > Never having been implemented doesn't change any of this, IMHO.
>
> I think the problem is in the spec in this case. When it's not implemented, it
> should either marked as not yet implemented in DMD, or it shouldn't be in the
> spec at all yet. _Every_ other case of wrong-code in bugzilla is different.
> The nature of the issue is completely different, so I really think it's
> unhelpful to use the same keyword for both.
I don't think is a good idea to change the specs according to DMD. DMD is just
an implementation, an incomplete one. It's not serious to change an spec
because an implementation don't implement a feature!
I don't know if this is wrong-code or not, but I know it's not a spec issue, is
a missing feature in DMD.
So please, please, please, don't change the specs, fix the implementation.
Thanks!
--
More information about the Digitalmars-d-bugs
mailing list