<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">On 02/11/12 20:01, Dan Gohman wrote:<br>

    </div>

    <blockquote

cite="mid:CAF4K+2jTGA0X92ZZamWQ-Fcy+=OuJ=yG4g_b2e6xQdZR4LPwxw@mail.gmail.com"

      type="cite">

      <meta http-equiv="Content-Type" content="text/html;

        charset=ISO-8859-1">

      Looks good to me. It might be nice to add a comment where the code

      used to check for nocapture mentioning that nocapture is being

      intentionally ignored.

      <div><br>

      </div>

      <div>Dan<br>

      </div>

    </blockquote>

    Thanks for the review. I've commited this in r167381 with a comment

    that we are intentionally ignoring nocapture.<br>

    <br>

    <pre class="moz-signature" cols="72">-- 

Richard Osborne | XMOS

<a class="moz-txt-link-freetext" href="http://www.xmos.com">http://www.xmos.com</a>

</pre>

  </body>

</html>