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 list dmd-internals@puremagic.com http://lists.puremagic.com/mailman/listinfo/dmd-internals
_______________________________________________
dmd-internals mailing list
dmd-internals@puremagic.com
http://lists.puremagic.com/mailman/listinfo/dmd-internals