[Issue 3572] declaring pure function with void return type should be compile time error

[d-bugmail at puremagic.com]

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



--- Comment #3 from Don <clugdbug at yahoo.com.au> 2009-12-04 18:28:11 PST ---
(In reply to comment #2)
> ?????  Why would you allow out parameters in a pure function?  This seems
> reasonable for simple value types (ints, floats, etc.), but when you start
> passing objects in, you start allowing the modification of whole object
> subgraphs from pure functions.  This makes no sense.

Why doesn't it make sense? Aren't you thinking of inout parameters? A pure
function  void foo(out A a); ought to be exactly the same as A foo(); together
with an assignment. I'm not seeing anything impure in that.
BTW, it works fine in CTFE. (CTFE isn't quite the same concept as pure, but
it's close).

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