On Wed, Jul 6, 2011 at 5:09 PM, Walter Bright <[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  (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

Reply via email to