[Issue 8504] Template attribute inferrence doesn't work

[d-bugmail]

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


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

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||c...@dawg.eu
 Resolution||FIXED


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

[Issue 8504] Template attribute inferrence doesn't work

[d-bugmail]

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



--- Comment #3 from github-bugzi...@puremagic.com 2013-01-22 09:44:15 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/f9d53eb403cbe29310cc501ad099acddb71cac75
fix Issue 8504 - Template attribute inferrence doesn't work

https://github.com/D-Programming-Language/dmd/commit/6344a72ac2e2e597110891f7aed4b998d58f61fd
Merge pull request #1096 from 9rnsr/fix8504

Issue 8504 - Template attribute inferrence doesn't work

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

[Issue 8504] Template attribute inferrence doesn't work

[d-bugmail]

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



--- Comment #2 from Kenji Hara k.hara...@gmail.com 2013-01-21 23:04:02 PST ---
A simple test case from: http://d.puremagic.com/issues/show_bug.cgi?id=6902#c6

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

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

[Issue 8504] Template attribute inferrence doesn't work

[d-bugmail]

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


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

   What|Removed |Added

   Keywords||pull, wrong-code
Version|unspecified |D2


--- Comment #1 from Kenji Hara k.hara...@gmail.com 2012-08-28 09:42:34 PDT ---
https://github.com/D-Programming-Language/dmd/pull/1096

After semantic3 (semantics for function body code) done, typeof(func!string)
returns 'pure nothrow @safe void(string)' because of the attribute inference,
but it doesn't affect to its mangled name. That's a bug.

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