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