<div class="gmail_quote">On Fri, Aug 21, 2009 at 4:44 PM, Matthew Fluet <span dir="ltr"><<a href="mailto:fluet@tti-c.org">fluet@tti-c.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On Fri, 21 Aug 2009, Wesley Terpstra wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
sharing Unsafe.Word64Vector = Word64Vector<br>
+ sharing Unsafe.Word64Vector = Word64Vector<br>
</blockquote>
<br>
Duplication of sharing constraint.</blockquote></div><br>:-P<br><br>