[Issue 6356] Pure/nothrow/@safe-inference failed for a template function if it is instantiated without evaluating at the global scope

2012-11-08 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=6356


Kenji Hara  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


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

[Issue 6356] Pure/nothrow/@safe-inference failed for a template function if it is instantiated without evaluating at the global scope

2012-11-08 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=6356



--- Comment #3 from github-bugzi...@puremagic.com 2012-11-08 01:23:22 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/0c074ce1b6ff104da1fbcc857be37773ac2fca8b
fix Issue 6356 - Pure/nothrow/@safe-inference failed for a template function if
it is instantiated without evaluating at the global scope

https://github.com/D-Programming-Language/dmd/commit/f6a212814630113441a56a307a197400b922
Merge pull request #544 from 9rnsr/fix6963

Issue 6332 & 6356 & 6963 - Ignite pure/nothrow inference for template function

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

[Issue 6356] Pure/nothrow/@safe-inference failed for a template function if it is instantiated without evaluating at the global scope

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


Kenji Hara  changed:

   What|Removed |Added

   Keywords||patch


--- Comment #2 from Kenji Hara  2011-12-21 07:59:54 PST ---
https://github.com/D-Programming-Language/dmd/pull/544

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

[Issue 6356] Pure/nothrow/@safe-inference failed for a template function if it is instantiated without evaluating at the global scope

2011-07-20 Thread d-bugmail 
http://d.puremagic.com/issues/show_bug.cgi?id=6356


kenn...@gmail.com changed:

   What|Removed |Added

   Platform|Other   |All
 OS/Version|Mac OS X|All
   Severity|normal  |major


--- Comment #1 from kenn...@gmail.com 2011-07-20 11:09:12 PDT ---
Raising severity because unaryFun and binaryFun are used in template
constraints or return types. This bug makes std.algorithm.equal not able to be
pure/nothrow/@safe, for example.

2nd test case:
-
bool f6356b()() {
return true;
}
void g6356b()() if (is(typeof(f6356b( {
f6356b();
}
void h6356b() pure nothrow @safe {
//f6356b();// <-- uncomment to make it compile.
g6356b();
}
-
x.d(9): Error: pure function 'h6356b' cannot call impure function 'g6356b'
x.d(9): Error: safe function 'h6356b' cannot call system function 'g6356b'
x.d(9): Error: g6356b is not nothrow
x.d(7): Error: function x.h6356b 'h6356b' is nothrow yet may throw
-

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