<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:13px">"the problem is when you re-work the code, do you know for sure that</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">you moved the contract/assertion/validation/</span><span style="font-family:arial,sans-serif;font-size:13px">checking appropriately."</span><br><div><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div><span style="font-family:arial,sans-serif;font-size:13px">That's the real crux that I forgot to say. I was inspired to post when I was slightly repurposing a mid-level function and realized it no longer had to do as much, then trying to remember if it was used somewhere else where that functionality was still needed. I *have* been writing more tests recently. If the function never fails, it doesn't matter that it "could have" failed if used elsewhere. So perhaps the answer is just lots and lots of tests and less manual effort.</span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 3, 2014 at 1:28 PM, Raoul Duke <span dir="ltr"><<a href="mailto:raould@gmail.com" target="_blank">raould@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">in theory only the "top level" things should validate. by which i mean<br>
those things which get input from something other than your own code.<br>
<br>
the problem is when you re-work the code, do you know for sure that<br>
you moved the contract/assertion/validation/checking appropriately.<br>
<br>
test coverage can help there, in the absence of some AI looking over<br>
your shoulder for you.<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div><br></div>