<div dir="ltr">On Wed, Oct 30, 2013 at 11:15 AM, Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov" target="_blank">jedbrown@mcs.anl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Matthew Knepley <<a href="mailto:knepley@gmail.com">knepley@gmail.com</a>> writes:<br>
>> True, but if you do that, you could also mark all those instances and<br>
>> remove them automatically.<br>
>><br>
><br>
> True.<br>
<br>
</div>So should we mark them and remove them automatically, getting rid of<br>
this extra thing to remember and another likely place for merge<br>
conflicts?  Are there any circumstances where that would be surprising?<br>
</blockquote></div><br>The only confusing thing I see is if we wanted them not set back to NULL, but</div><div class="gmail_extra">to a "default" function. I think we should outlaw that.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">   Matt<br clear="all"><div><br></div>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener
</div></div>