[Issue 8037] hasElaborateDestructor is false for non-zero-length static array of structs with elaborate destructor

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8037 --- Comment #3 from github-bugzi...@puremagic.com 2012-05-06 23:58:39 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/a6e38e347247b35bb8473f0e0b9084fb6

[Issue 8058] assert(false) displays incomplete filename

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8058 Tim Smith changed: What|Removed |Added Attachment #1101|application/octet-stream|text/plain mime type|

[Issue 8058] New: assert(false) displays incomplete filename

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8058 Summary: assert(false) displays incomplete filename Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Componen

[Issue 8057] std.algorithm.move cannot use for nested struct

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8057 Kenji Hara changed: What|Removed |Added Keywords||pull, wrong-code --- Comment #1 from Kenj

[Issue 8055] [Regression 2.059] std.algorithm.move corrupts moved object field

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8055 Kenji Hara changed: What|Removed |Added Keywords||pull, wrong-code --- Comment #2 from Kenj

[Issue 8056] Properties should behave like variables, e.g. compound assignments

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8056 Jonathan M Davis changed: What|Removed |Added CC||jmdavisp...@gmx.com --- Comment #1

[Issue 8057] New: std.algorithm.move cannot use for nested struct

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8057 Summary: std.algorithm.move cannot use for nested struct Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Com

[Issue 8056] New: Properties should behave like variables, e.g. compound assignments

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8056 Summary: Properties should behave like variables, e.g. compound assignments Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: enh

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #60 from Andrei Alexandrescu 2012-05-06 19:48:55 PDT --- This has been some significant pwning of Walter and myself, and I think there is a larger lesson here we should learn. We essentially operated from vague memories instead of

[Issue 8055] [Regression 2.059] std.algorithm.move corrupts moved object field

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8055 Kenji Hara changed: What|Removed |Added Summary|std.algorithm.move corrupts |[Regression 2.059] |move

[Issue 8055] New: std.algorithm.move corrupts moved object field

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8055 Summary: std.algorithm.move corrupts moved object field Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Comp

[Issue 5004] show both resolved symbols and original identifier in error messages involving aliases

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5004 --- Comment #9 from bearophile_h...@eml.cc 2012-05-06 06:52:35 PDT --- One case: alias ushort UT; void main() { int x; UT y = x; } DMD 2.060alpha gives: test.d(4): Error: cannot implicitly convert expression (x) of type int to ushor

[Issue 8044] Print names, not casted values when using enum template parameter

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8044 bearophile_h...@eml.cc changed: What|Removed |Added CC||bearophile_h...@eml.cc --- Com

[Issue 8052] New: Spurious warning when exiting out of a labeled Do-While

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8052 Summary: Spurious warning when exiting out of a labeled Do-While Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #59 from deadalnix 2012-05-06 03:27:45 PDT --- (In reply to comment #58) > It's not that simple. Several considerations have to be met: > > 1. Because of struct construction/destruction, you really only want to > construct the para

Re: [Issue 6857] Precondition contract checks should be statically bound.

2012-05-06 Thread Walter Bright
On 5/6/2012 2:19 AM, d-bugm...@puremagic.com wrote: That is not this complicated. you need a final function that check the in contract, then call another virtual function that actually execute the function body and the out contract. With such a configuration, the in contract is checked and only

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #57 from deadalnix 2012-05-06 02:20:47 PDT --- (In reply to comment #55) > So I'm reopening it as a normal bug. > Thank you ! > Unfortunately, I do not currently see a reasonable way of implementing this. > Fortunately, as is it

[Issue 6857] Precondition contract checks should be statically bound.

2012-05-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #56 from Don 2012-05-06 00:36:04 PDT --- (In reply to comment #55) > Mea culpa. > > I read Meyer's book again. Chapter 16.1 "Cutting out the middleman" pg. 575 > says: > > "A client of MATRIX must satisfy the original (stronger) p