[Issue 7160] Regression(2.057): ICE(dsymbol.c:1052) ICE using __traits(derivedMembers)

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7160


Kenji Hara  changed:

   What|Removed |Added

   Keywords||patch
   Platform|Other   |All


--- Comment #1 from Kenji Hara  2011-12-27 07:32:31 PST ---
https://github.com/D-Programming-Language/dmd/pull/584

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 2394] IFTI fails for nulls

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=2394


Kenji Hara  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


--- Comment #4 from Kenji Hara  2011-12-27 00:21:55 PST ---
By fixing issue 5416 (dmd2.057 and later), null literal works as expected in
IFTI.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7162] [CTFE] "bool || void" expression crashes dmd

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7162


Don  changed:

   What|Removed |Added

 CC||clugd...@yahoo.com.au


--- Comment #1 from Don  2011-12-27 00:52:32 PST ---
Related to bug 4711. If 4711 were fixed, CTFE would ICE on AndAnd expressions
as well.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7170] [UFCS] array + specialized template member syntax causes ICE

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7170


Kenji Hara  changed:

   What|Removed |Added

   Keywords||patch


--- Comment #1 from Kenji Hara  2011-12-27 01:59:21 PST ---
https://github.com/D-Programming-Language/dmd/pull/585

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7168] Regression(1.072, 2.057) __traits(allMembers) returns wrong tuple

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7168


Kenji Hara  changed:

   What|Removed |Added

   Keywords||patch


--- Comment #1 from Kenji Hara  2011-12-27 01:20:27 PST ---
https://github.com/D-Programming-Language/dmd/pull/584

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7172] New: nested class with additional attributes is not supported

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7172

   Summary: nested class with additional attributes is not
supported
   Product: D
   Version: D2
  Platform: All
OS/Version: All
Status: NEW
  Keywords: rejects-valid
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: k.hara...@gmail.com


--- Comment #0 from Kenji Hara  2011-12-27 06:14:33 PST ---
Sample code.

void main()
{
//  abstract class AbstractC{}
//  static assert(!__traits(compiles, { new AbstractC(); }));

final class FinalC{}
static assert(!__traits(compiles, { class D : FinalC{} }));

scope class ScopeC{}
static assert(!__traits(compiles, { auto  sc = new ScopeC(); }));
static assert( __traits(compiles, { scope sc = new ScopeC(); }));

//  synchronized class SyncC{ void f(){} }
//  static assert(SyncC.f.mangleof[$-13..$] == "5SyncC1fMOFZv");

//  @safeclass SCx{ void f(){} }
//  @trusted class SCy{ void f(){} }
//  @system  class SCz{ void f(){} }
//  static assert(SCx.f.mangleof[$-12..$] == "3SCx1fMFNfZv");   // Nf:
//  static assert(SCy.f.mangleof[$-12..$] == "3SCy1fMFNeZv");   // Ne:
//  static assert(SCz.f.mangleof[$-10..$] == "3SCz1fMFZv"); // (none)
}

Commented out lines are not supported.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7173] New: dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7173

   Summary: dmd: glue.c:1065: virtual unsigned int Type::totym():
Assertion `0' failed.
   Product: D
   Version: D2
  Platform: x86_64
OS/Version: Linux
Status: NEW
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: iteronve...@gmail.com


--- Comment #0 from iteronve...@gmail.com 2011-12-27 07:56:11 PST ---
struct A{

  A opBinary(string op)(A a){ A rt; return rt; }

  void fun(){ }
}

struct B{

  A _a;
  alias _a this;
}


void main(){

  B b1, b2, b3; b3 = (b1 - b2).fun();
}


The above code causes:
dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.
Aborted

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 6534] const struct definition inside functions too

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6534



--- Comment #5 from Kenji Hara  2011-12-27 06:26:39 PST ---
*** Issue 5213 has been marked as a duplicate of this issue. ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7168] Regression(2.057) __traits(allMembers) returns wrong tuple

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7168


Kenji Hara  changed:

   What|Removed |Added

Version|D1 & D2 |D2
Summary|Regression(1.072, 2.057)|Regression(2.057)
   |__traits(allMembers)|__traits(allMembers)
   |returns wrong tuple |returns wrong tuple


--- Comment #2 from Kenji Hara  2011-12-27 07:31:41 PST ---
Sorry, D1 does not have __traits.
So this is D2 only issue.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7170] New: [UFCS] array + specialized template member syntax causes ICE

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7170

   Summary: [UFCS] array + specialized template member syntax
causes ICE
   Product: D
   Version: D2
  Platform: All
OS/Version: All
Status: NEW
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: k.hara...@gmail.com


--- Comment #0 from Kenji Hara  2011-12-27 01:31:13 PST ---
Following code causes ICE.

T to(T)(string x) { return 1; }

void main()
{
//  auto i = to!int("1");   // OK
auto j = "1".to!int();  // NG, Internal error: e2ir.c 683
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7169] New: [CTFE] Assertion failure with inner struct

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7169

   Summary: [CTFE] Assertion failure with inner struct
   Product: D
   Version: D2
  Platform: x86
OS/Version: Windows
Status: NEW
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: youx...@gmail.com


--- Comment #0 from Hisayuki Mima  2011-12-27 18:29:01 JST 
---
struct Struct(T){
T t;
}

void func(T)(T t){
Struct!T s;
s.t = t;
}

static assert({
struct InnerStruct{
void func(){}
}
func(InnerStruct());
return true;
}());

void main(){}


This code doesn't work.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7172] nested class with additional attributes is not supported

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7172


Kenji Hara  changed:

   What|Removed |Added

   Keywords||patch


--- Comment #1 from Kenji Hara  2011-12-27 06:47:54 PST ---
https://github.com/D-Programming-Language/dmd/pull/562

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 5213] const/immutable inner structs don't work

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5213


Kenji Hara  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||DUPLICATE


--- Comment #1 from Kenji Hara  2011-12-27 06:26:39 PST ---
*** This issue has been marked as a duplicate of issue 6534 ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7168] New: Regression(1.072, 2.057) __traits(allMembers) returns wrong tuple

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7168

   Summary: Regression(1.072, 2.057) __traits(allMembers) returns
wrong tuple
   Product: D
   Version: D1 & D2
  Platform: All
OS/Version: All
Status: NEW
  Keywords: wrong-code
  Severity: regression
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: k.hara...@gmail.com


--- Comment #0 from Kenji Hara  2011-12-27 01:08:23 PST ---
class X
{
void foo(){}
}
class Y : X
{
void bar(){}
}

enum ObjectMems = ["toString","toHash","opCmp","opEquals","Monitor","factory"];

static assert([__traits(allMembers, X)] == ["foo"]~ObjectMems);// pass
static assert([__traits(allMembers, Y)] == ["bar", "foo"]~ObjectMems); // fail
static assert([__traits(allMembers, Y)] != ["bar", "foo"]);// fail

This bug was introduced by merging pull #437.

D2 branch commit:
https://github.com/D-Programming-Language/dmd/commit/87682481da9cbbe2715a81edbdc76c0735f644f6

D1 branch commit:
https://github.com/D-Programming-Language/dmd/commit/191ddb032a64cf278b6890ebc72b6d0135428d62

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7173] dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7173


Kenji Hara  changed:

   What|Removed |Added

   Keywords||ice-on-invalid-code, patch
   Platform|x86_64  |All
 OS/Version|Linux   |All


--- Comment #1 from Kenji Hara  2011-12-27 09:20:33 PST ---
https://github.com/D-Programming-Language/dmd/pull/587

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7164] Can't inline function literal

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7164


d...@dawgfoto.de changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||d...@dawgfoto.de
 Resolution||DUPLICATE


--- Comment #1 from d...@dawgfoto.de 2011-12-27 11:37:15 PST ---
*** This issue has been marked as a duplicate of issue 5499 ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 5499] ICE(toir.c): delegate as alias template parameter, only with -inline

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=5499


d...@dawgfoto.de changed:

   What|Removed |Added

 CC||andrej.mitrov...@gmail.com


--- Comment #4 from d...@dawgfoto.de 2011-12-27 11:37:16 PST ---
*** Issue 7164 has been marked as a duplicate of this issue. ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7173] dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7173


Jimmy Cao  changed:

   What|Removed |Added

 CC||jcao...@gmail.com


--- Comment #2 from Jimmy Cao  2011-12-27 11:42:20 PST ---
Is this related to bug6774?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7173] dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7173


Walter Bright  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||bugzi...@digitalmars.com
 Resolution||FIXED


--- Comment #3 from Walter Bright  2011-12-27 
12:04:52 PST ---
https://github.com/D-Programming-Language/dmd/commit/6d9392e6907d5034a4eb8fcf49315c59087d77dc

https://github.com/D-Programming-Language/dmd/commit/37648853afffac816c0b931aafeb2a2637589ae9

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---


[Issue 7174] New: Cannot use property function call as static if condition

2011-12-27 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=7174

   Summary: Cannot use property function call as static if
condition
   Product: D
   Version: D2
  Platform: Other
OS/Version: Linux
Status: NEW
  Severity: normal
  Priority: P2
 Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: timon.g...@gmx.ch


--- Comment #0 from timon.g...@gmx.ch 2011-12-27 17:51:14 PST ---
Tested with DMD 2.057:

@property bool foo(){return true;}
static if(foo){}

Error: expression foo is not constant or does not evaluate to a bool

The code should compile.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---