[Issue 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902


Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution||FIXED


--- Comment #8 from Kenji Hara k.hara...@gmail.com 2013-01-21 23:02:46 PST ---
(In reply to comment #6)
 cat  bug.d  CODE
 void a()
 {
 function void() { }();
 }
 
 void b()
 {
 static void safe_nothrow() @safe nothrow pure { }
 auto f = safe_nothrow;
 enum mangle = typeof(*f).mangleof;
 static assert(mangle == FNaNbNfZv, mangle);
 }
 CODE
 
 dmd -c bug
 
 
 
 I've actually found a new failing test case for this.

It is a dup of bug 8504. Pull #1096 will fix the issue.

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

[Issue 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902


Martin Nowak c...@dawg.eu changed:

   What|Removed |Added

 CC||c...@dawg.eu


--- Comment #5 from Martin Nowak c...@dawg.eu 2013-01-16 21:26:47 PST ---
*** Issue 6600 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 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902



--- Comment #6 from Martin Nowak c...@dawg.eu 2013-01-16 21:28:49 PST ---
cat  bug.d  CODE
void a()
{
function void() { }();
}

void b()
{
static void safe_nothrow() @safe nothrow pure { }
auto f = safe_nothrow;
enum mangle = typeof(*f).mangleof;
static assert(mangle == FNaNbNfZv, mangle);
}
CODE

dmd -c bug



I've actually found a new failing test case for this.

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

[Issue 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902



--- Comment #7 from Martin Nowak c...@dawg.eu 2013-01-16 21:39:05 PST ---
*** Issue 3796 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 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902


Kenji Hara k.hara...@gmail.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


--- Comment #4 from Kenji Hara k.hara...@gmail.com 2011-11-14 04:46:51 PST ---
https://github.com/D-Programming-Language/dmd/commit/3af76245c7626a1489322bb6fc8353b1c4aa2e35

https://github.com/D-Programming-Language/phobos/commit/b7a9f446dfb9e299354318437d1e6a5752d5feca

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

[Issue 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902


Don clugd...@yahoo.com.au changed:

   What|Removed |Added

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


--- Comment #1 from Don clugd...@yahoo.com.au 2011-11-07 03:21:28 PST ---
I thought we got rid of those crazy function types. Seems that they've survived
in alias declarations somehow.

The declaration of T shouldn't compile.

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

[Issue 6902] Different pure nothrow int() types

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=6902



--- Comment #2 from Kenji Hara k.hara...@gmail.com 2011-11-07 03:33:51 PST ---
Good reducing!
I found a function/delegate literal type inference bug.

I have done Phobos unit tests with my patch, and this resolves Phobos build
breaking in Windows.
http://d.puremagic.com/test-results/test_data.ghtml?dataid=113170

Please wait the patch a while.

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