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

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

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