[Issue 4891] Assignment from non-pure function to pure function pointer compiles when it shouldn't

2011-06-06 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4891


yebblies yebbl...@gmail.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||yebbl...@gmail.com
 Resolution||DUPLICATE


--- Comment #3 from yebblies yebbl...@gmail.com 2011-06-06 19:33:40 PDT ---
This is a dupe of 3797, the purity of a function pointer (among other things)
is not checked when performing implicit conversions.

With dmd pull 88 you get the following error from dmd:
testx.d(26): Error: constructor testx.S.this (int function(int) pure func) is
no
t callable using argument types (int function(int num))
testx.d(26): Error: cannot implicitly convert expression ( add1) of type int
fu
nction(int num) to int function(int) pure

*** This issue has been marked as a duplicate of issue 3797 ***

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


[Issue 4891] Assignment from non-pure function to pure function pointer compiles when it shouldn't

2010-09-19 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4891


bearophile_h...@eml.cc changed:

   What|Removed |Added

 CC||bearophile_h...@eml.cc


--- Comment #2 from bearophile_h...@eml.cc 2010-09-19 18:04:25 PDT ---
See bug 3833

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


[Issue 4891] Assignment from non-pure function to pure function pointer compiles when it shouldn't

2010-09-18 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=4891



--- Comment #1 from Jonathan M Davis jmdavisp...@gmx.com 2010-09-18 17:15:25 
PDT ---
Oh, there's an error in my example - func return func instead of _func,
resulting infinite recursion and therefore a segfault. I could have removed
that function for the bug report anyway.

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