On 7/6/2011 2:12 PM, David Simcha wrote:
On Wed, Jul 6, 2011 at 5:09 PM, Walter Bright <[email protected] <mailto:[email protected]>> wrote:This is what I have difficulty with. Consider: pure void foo(int* p) { *p = 3; } That isn't pure, or weakly pure.???? Yes it is. It can be called from a strongly pure function without violating purity
Yes, but it is not pure itself.
(Any argument passed to foo is local to the strongly pure function, since the arguments have to be immutable and it can't access mutable global or static variables.) Isn't that the definition of weakly pure?
_______________________________________________ dmd-beta mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-beta
