[Issue 6891] template with uint value parameter causes several issues

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6891 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||pull, rejects-valid

[Issue 7941] Regression(2.059): Type check is ignored when manifest constant initializer is function literal

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7941 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 6861] Implicitly convert expression. const(immutable(char)[][string][string]) to const(string[string][string])

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6861 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Keywords||rejects-valid

[Issue 8011] BigInt ++ and -- do wrong thing on negative numbers

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8011 Ary Borenszweig a...@esperanto.org.ar changed: What|Removed |Added CC|

[Issue 8011] BigInt ++ and -- do wrong thing on negative numbers

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8011 --- Comment #4 from Ary Borenszweig a...@esperanto.org.ar 2012-05-01 23:58:55 PDT --- sign is already a boolean, so it's simpler to do: // non-const unary operations BigInt opUnary(string op)() if (op==++ || op==--) { static

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 --- Comment #10 from github-bugzi...@puremagic.com 2012-05-02 02:21:17 PDT --- Commit pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 --- Comment #12 from Manu turkey...@gmail.com 2012-05-02 06:55:58 PDT --- (In reply to comment #11) Haven't done the special case optimizations for constant loading. No problem, I'm using GDC anyway which might detect those in the back end.

[Issue 8015] New: std.typecons.Tuple does not support struct with alias method this

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8015 Summary: std.typecons.Tuple does not support struct with alias method this Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity:

[Issue 8009] ICE with bad type inside templated function with delegate

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8009 Kenji Hara k.hara...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 7851] Internal error: e2ir.c 688

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7851 Robert Clipsham rob...@octarineparrot.com changed: What|Removed |Added Keywords||ice

[Issue 7847] [ICE] Internal error: e2ir.c 688 with -inline

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7847 Robert Clipsham rob...@octarineparrot.com changed: What|Removed |Added CC|

[Issue 8007] Wrong documentation for ''

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8007 Don clugd...@yahoo.com.au changed: What|Removed |Added CC||clugd...@yahoo.com.au ---

[Issue 7701] Internal error on access of instance fn on nested templated struct type

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7701 Robert Clipsham rob...@octarineparrot.com changed: What|Removed |Added Keywords||ice

Re: [Issue 8001] New: Alias this takes ownership of explicit cast

2012-05-02 Thread Namespace
On Sunday, 29 April 2012 at 14:40:06 UTC, Jesse Phillips wrote: http://d.puremagic.com/issues/show_bug.cgi?id=8001 Summary: Alias this takes ownership of explicit cast Product: D Version: D2 Platform: All OS/Version: All Status: NEW

[Issue 8007] Wrong documentation for ''

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8007 --- Comment #2 from timon.g...@gmx.ch 2012-05-02 10:46:16 PDT --- (In reply to comment #1) I guess you mean it makes you think that x 1 is (cast(signed!(typeof(x)))x) 1 Yes, as it is phrased, -1U 1 == -1U would have to hold. The bug

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 Don clugd...@yahoo.com.au changed: What|Removed |Added CC||clugd...@yahoo.com.au ---

Re: [Issue 8001] New: Alias this takes ownership of explicit cast

2012-05-02 Thread Namespace
This works fine: [code] import std.stdio; class A { int val; alias val this; T opCast(T : Object)() { return to!(T)(this); } } class B : A { } T to(T : Object, U : Object)(const U obj) { return *(cast(T*) obj); } void main ()

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 --- Comment #14 from Manu turkey...@gmail.com 2012-05-02 13:06:19 PDT --- (In reply to comment #13) (In reply to comment #12) (In reply to comment #11) Haven't done the special case optimizations for constant loading. No problem, I'm

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

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 timon.g...@gmx.ch changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|INVALID

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

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|REOPENED|RESOLVED

[Issue 6891] template with uint value parameter causes several issues

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6891 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 7413] Vector literals don't work

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7413 --- Comment #15 from Don clugd...@yahoo.com.au 2012-05-02 15:12:18 PDT --- (In reply to comment #14) (In reply to comment #13) (In reply to comment #12) (In reply to comment #11) Haven't done the special case optimizations for

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

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 timon.g...@gmx.ch changed: What|Removed |Added Resolution|INVALID |WONTFIX --- Comment #8 from

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

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 --- Comment #10 from Walter Bright bugzi...@digitalmars.com 2012-05-02 16:27:15 PDT --- I suggest checking Bertrand Meyer's book Object-Oriented Software Construction, which is the definitive reference on this. It's theoretically sound. I did

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

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6857 Andrei Alexandrescu and...@metalanguage.com changed: What|Removed |Added CC|

[Issue 8011] BigInt ++ and -- do wrong thing on negative numbers

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8011 --- Comment #5 from github-bugzi...@puremagic.com 2012-05-02 16:46:08 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/phobos

[Issue 8017] New: Shadowing declaration not detected when iterating hashes

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8017 Summary: Shadowing declaration not detected when iterating hashes Product: D Version: D2 Platform: All OS/Version: All Status: NEW Keywords:

[Issue 7584] contract checking is too conservative for inherited contracts

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7584 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 4785] auto return of a function with in contract

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4785 --- Comment #8 from github-bugzi...@puremagic.com 2012-05-02 18:25:29 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 5039] Cannot use invariant() with auto methods

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5039 --- Comment #2 from github-bugzi...@puremagic.com 2012-05-02 18:25:34 PDT --- Commit pushed to master at https://github.com/D-Programming-Language/dmd

[Issue 7910] Compiler gives error when post-contract is used in a function that returns from inside a loop

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7910 Alex R�nne Petersen xtzgzo...@gmail.com changed: What|Removed |Added Keywords||contracts

[Issue 5039] Cannot use invariant() with auto methods

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5039 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 4785] auto return of a function with in contract

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4785 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 8018] New: Template fails to instantiate with templated argument

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8018 Summary: Template fails to instantiate with templated argument Product: D Version: D2 Platform: All OS/Version: All Status: NEW Keywords: rejects-valid Severity:

[Issue 8018] Template fails to instantiate with templated argument

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8018 --- Comment #1 from Andrej Mitrovic andrej.mitrov...@gmail.com 2012-05-02 20:48:16 PDT --- Ok there's another workaround, just make the last type implicit: void test(Enum en, StubType)(StubType arg) So maybe it's not a major bug. :) --

[Issue 8019] New: (D1 only) can't convert [] to int[]

2012-05-02 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=8019 Summary: (D1 only) can't convert [] to int[] Product: D Version: D1 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD