[dmd-beta] beta 2

[Walter Bright]

On 7/6/2011 2:12 PM, David Simcha wrote:
>
>
> On Wed, Jul 6, 2011 at 5:09 PM, Walter Bright <walter at digitalmars.com 
> <mailto:walter at digitalmars.com>> 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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/dmd-beta/attachments/20110706/e3537e1d/attachment.html>