<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 7/6/2011 6:02 PM, Walter Bright wrote:
<blockquote cite="mid:4E14DB7A.2070107@digitalmars.com" type="cite">
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<br>
<br>
On 7/6/2011 2:12 PM, David Simcha wrote:
<blockquote
cite="mid:CAA8CUdvQ-36SUr=iDiCnpixd+fpfJYTuqcRO66JJNEqz3P+VPA@mail.gmail.com"
type="cite"><br>
<br>
<div class="gmail_quote">On Wed, Jul 6, 2011 at 5:09 PM, Walter
Bright <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:walter@digitalmars.com">walter@digitalmars.com</a>></span>
wrote:<br>
<div> </div>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
0.8ex; border-left: 1px solid rgb(204, 204, 204);
padding-left: 1ex;"> This is what I have difficulty with.
Consider:<br>
<br>
pure void foo(int* p) { *p = 3; }<br>
<br>
That isn't pure, or weakly pure.<br>
</blockquote>
<div><br>
???? Yes it is. It can be called from a strongly pure
function without violating purity <br>
</div>
</div>
</blockquote>
<br>
Yes, but it is not pure itself.<br>
</blockquote>
<br>
???? Then what is the definition of weak purity?<br>
<br>
</body>
</html>