Re: [dmd-beta] beta 2

Wed, 06 Jul 2011 15:05:30 -0700

On 7/6/2011 6:02 PM, Walter Bright wrote:


On 7/6/2011 2:12 PM, David Simcha wrote:


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

Yes, but it is not pure itself.

???? Then what is the definition of weak purity?

_______________________________________________
dmd-beta mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-beta

Reply via email to