On 7/7/11 12:02 AM, 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]
<mailto:[email protected]>> wrote:
pure void foo(int* p) { *p = 3; }
???? Yes it is. It can be called from a strongly pure function without
violating purity
Yes, but it is not pure itself.
So you propose removing the concept of weak purity from the language
again? Under the relaxed purity rules (at least in the way I understand
them), the function would be pure – not strongly pure, but you could
stick a »pure« attribute next to it.
David
_______________________________________________
dmd-beta mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-beta
