Tagged a bunch of contract-related issues with that. Other issues discovered in the process:
* http://d.puremagic.com/issues/show_bug.cgi?id=4720 * http://d.puremagic.com/issues/show_bug.cgi?id=3856 * http://d.puremagic.com/issues/show_bug.cgi?id=5027 * http://d.puremagic.com/issues/show_bug.cgi?id=5204 * http://d.puremagic.com/issues/show_bug.cgi?id=6118 * http://d.puremagic.com/issues/show_bug.cgi?id=6058 * http://d.puremagic.com/issues/show_bug.cgi?id=6278 * http://d.puremagic.com/issues/show_bug.cgi?id=6417 * http://d.puremagic.com/issues/show_bug.cgi?id=7883 * http://d.puremagic.com/issues/show_bug.cgi?id=7910 Thanks for taking the time to look into these! Regards, Alex On Thu, May 3, 2012 at 3:14 AM, Walter Bright <[email protected]>wrote: > I added a keyword "contracts" to bugzilla which you can use to tie these > all together. > > > On 5/2/2012 11:43 AM, Alex Rønne Petersen wrote: > > Hi, > > I posted about this on the NG a good while back, but didn't get any > feedback, so I'm trying here. > > Just a 'few' contract-related issues: > > * http://d.puremagic.com/issues/show_bug.cgi?id=6857 > * http://d.puremagic.com/issues/show_bug.cgi?id=7584 > * http://d.puremagic.com/issues/show_bug.cgi?id=6549 > * http://d.puremagic.com/issues/show_bug.cgi?id=6856 > * http://d.puremagic.com/issues/show_bug.cgi?id=7337 > * http://d.puremagic.com/issues/show_bug.cgi?id=5039 > * http://d.puremagic.com/issues/show_bug.cgi?id=7517 > * http://d.puremagic.com/issues/show_bug.cgi?id=519 > > More subtle issues: > > * http://d.puremagic.com/issues/show_bug.cgi?id=2350 > * http://d.puremagic.com/issues/show_bug.cgi?id=4995 > > Syntactical issues/enhancements: > > * http://d.puremagic.com/issues/show_bug.cgi?id=6415 > * http://d.puremagic.com/issues/show_bug.cgi?id=5038 > * http://d.puremagic.com/issues/show_bug.cgi?id=6453 > > 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. > > 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. > > Regards, > Alex > > > _______________________________________________ > dmd-internals mailing > [email protected]http://lists.puremagic.com/mailman/listinfo/dmd-internals > > > _______________________________________________ > dmd-internals mailing list > [email protected] > http://lists.puremagic.com/mailman/listinfo/dmd-internals >
_______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
