<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace"><span style="font-family:arial,sans-serif">On Tue, Sep 5, 2017 at 6:53 PM, Yury Selivanov </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:yselivanov.ml@gmail.com" target="_blank">yselivanov.ml@gmail.com</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><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"><span class="">On Tue, Sep 5, 2017 at 8:35 AM, Koos Zevenhoven <<a href="mailto:k7hoven@gmail.com">k7hoven@gmail.com</a>> wrote:<br>
> On Tue, Sep 5, 2017 at 3:49 AM, Nathaniel Smith <<a href="mailto:njs@pobox.com">njs@pobox.com</a>> wrote:<br>
</span>[..]<br>
<span class="">>><br>
>> I think PEP 550 is sufficient to allow implementing all<br>
>> your proposed APIs (and that if it isn't, that's a bug in PEP 550).<br>
><br>
><br>
> That's not true either. The LocalContext-based semantics introduces scope<br>
> barriers that affect *all* variables. You might get close by putting just<br>
> one variable in a LogicalContext and then nest them, but PEP 550 does not<br>
> allow this in all cases. With the addition of PEP 521 and some trickery, it<br>
> might.<br>
<br>
</span>I think you have a wrong idea about PEP 550 specification.  I<br>
recommend you to reread it carefully, otherwise we can't have a<br>
productive discussion here.<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div class="gmail_default" style="font-family:monospace,monospace">I'm sorry, by LocalContext I meant LogicalContext, and by "nesting" them, I meant stacking them. It is in fact nesting in terms of value scopes.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">––Koos​</div></div><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">+ Koos Zevenhoven + <a href="http://twitter.com/k7hoven" target="_blank">http://twitter.com/k7hoven</a> +</div>
</div></div>