<div dir="ltr">On Fri, Feb 15, 2013 at 8:54 AM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</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">
Apologies for the kibitzing.<br>
<div class="im"><br></div></blockquote><div><br></div><div style>If anyone, it's me proposing weird stuff :-)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">
> -- This will fail if the MVarGroup is not associated with the current<br>
> process (if the MVarGroup's TSO is not the current TSO)!<br>
<br>
</div>I'm not super keen about this requirement. What if I want to create an MVarGroup<br>
but pass it to another thread?<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div style>Our emails crossed each other :-). As you can see, I think this is solvable.</div><div style><br></div><div style>Alexander</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
Edward<br>
</font></span></blockquote></div><br></div></div>