Tagged a bunch of contract-related issues with that.<div><br></div><div>Other issues discovered in the process:</div><div><br></div><div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=4720">http://d.puremagic.com/issues/show_bug.cgi?id=4720</a></div>
<div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=3856">http://d.puremagic.com/issues/show_bug.cgi?id=3856</a></div><div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=5027">http://d.puremagic.com/issues/show_bug.cgi?id=5027</a></div>
<div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=5204">http://d.puremagic.com/issues/show_bug.cgi?id=5204</a></div><div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6118">http://d.puremagic.com/issues/show_bug.cgi?id=6118</a></div>
<div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6058">http://d.puremagic.com/issues/show_bug.cgi?id=6058</a></div><div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6278">http://d.puremagic.com/issues/show_bug.cgi?id=6278</a></div>
<div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6417">http://d.puremagic.com/issues/show_bug.cgi?id=6417</a></div><div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=7883">http://d.puremagic.com/issues/show_bug.cgi?id=7883</a></div>
<div>* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=7910">http://d.puremagic.com/issues/show_bug.cgi?id=7910</a></div><div><br></div><div>Thanks for taking the time to look into these!</div><div><br></div><div>Regards,</div>
<div>Alex<br><br><div class="gmail_quote">On Thu, May 3, 2012 at 3:14 AM, Walter Bright <span dir="ltr"><<a href="mailto:walter@digitalmars.com" target="_blank">walter@digitalmars.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
I added a keyword "contracts" to bugzilla which you can use to tie
these all together.<div><div class="h5"><br>
<br>
On 5/2/2012 11:43 AM, Alex Rønne Petersen wrote:
</div></div><blockquote type="cite"><div><div class="h5">Hi,
<div><br>
</div>
<div>I posted about this on the NG a good while back, but didn't
get any feedback, so I'm trying here.</div>
<div><br>
</div>
<div>Just a 'few' contract-related issues:<br>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6857" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=6857</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=7584" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=7584</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6549" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=6549</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6856" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=6856</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=7337" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=7337</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=5039" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=5039</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=7517" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=7517</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=519" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=519</a> </div>
<div><br>
More subtle issues:<br>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=2350" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=2350</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=4995" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=4995</a>
<br>
<br>
Syntactical issues/enhancements:<br>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6415" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=6415</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=5038" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=5038</a>
<br>
* <a href="http://d.puremagic.com/issues/show_bug.cgi?id=6453" target="_blank">http://d.puremagic.com/issues/show_bug.cgi?id=6453</a>
</div>
<div><br>
</div>
<div>Some of these issues are making contract programming in
non-trivial D applications rather annoying compared to other
languages such as C# with Code Contracts, Spec#, etc. See in
particular 6549, 6856, 7337, 5039, 7517, 519, and 6453. Some of
the issues above have pending pull requests too.</div>
<div><br>
</div>
<div>Could some focus be put on sorting (at least some of) these
issues out for this release? One of the top reasons I use D is
because it has contract programming - it really helps one reason
about complex software systems - so it would be nice if the
implementation quality was improved to be more practical. Just
the lack of contracts in abstract methods cripples the DbC
support severely.</div>
<div><br>
</div>
<div>Regards,</div>
<div>Alex</div>
<br>
<fieldset></fieldset>
<br>
</div></div><pre>_______________________________________________
dmd-internals mailing list
<a href="mailto:dmd-internals@puremagic.com" target="_blank">dmd-internals@puremagic.com</a>
<a href="http://lists.puremagic.com/mailman/listinfo/dmd-internals" target="_blank">http://lists.puremagic.com/mailman/listinfo/dmd-internals</a></pre>
</blockquote>
</div>
<br>_______________________________________________<br>
dmd-internals mailing list<br>
<a href="mailto:dmd-internals@puremagic.com">dmd-internals@puremagic.com</a><br>
<a href="http://lists.puremagic.com/mailman/listinfo/dmd-internals" target="_blank">http://lists.puremagic.com/mailman/listinfo/dmd-internals</a><br></blockquote></div><br></div>