<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Wed, Dec 9, 2015 at 4:57 PM, Kim-Ee Yeoh <span dir="ltr"><<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><div dir="ltr"><span class=""><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 10, 2015 at 4:19 AM, Dan Stromberg <span dir="ltr"><<a href="mailto:strombrg@gmail.com" target="_blank">strombrg@gmail.com</a>></span> wrote:<br><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">What if I want to be able to deal gracefully with files that aren't readable, whether due to permissions issues or I/O errors?  I agree that zip'ing is easier, but is it as robust?</blockquote></div><br></div></span><div class="gmail_extra">Making sense of this question requires an apples-to-apples comparison. Observe that the original code doesn't deal with read errors either.<br><br></div><div class="gmail_extra">In fact, the replies in this thread have done only two things.<br><br>They've fixed the typecheck error.<br><br>And they've offered idiomatic -- but semantically identical -- rewritings that read-fault in the exact same way as the original code.<span class="HOEnZb"><font color="#888888"><br></font></span></div></div></blockquote><div><br></div><div>Yes, sure.<br><br></div><div>My thought was that going over the list of filenames+sizes and adding prefix hashes where available, would be easier to make robust, than attempting to get prefix hashes for all and zipping the results.<br><br></div><div>Is that not correct?<br><br></div><div>Should I use a Maybe to deal with files that don't hash, so there will always be a one-to-one correspondence, allowing a zip?<br></div><div><br></div><div>Thanks. <br></div></div><br clear="all"><br>-- <br><div class="gmail_signature">Dan Stromberg</div>
</div></div>