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 list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
