<div dir="ltr">On Fri, May 31, 2013 at 11:34 AM, Łukasz Langa <span dir="ltr"><<a href="mailto:lukasz@langa.pl" target="_blank">lukasz@langa.pl</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"><div class="im">On 31 maj 2013, at 12:18, Gustavo Carneiro <<a href="mailto:gjcarneiro@gmail.com">gjcarneiro@gmail.com</a>> wrote:<br>

<br>
> It is not clear from the PEP (up until the end of the User API section at least) when, if ever, is this implementation of fun ever called.  I mean, what type of 'arg' triggers a dispatch to this function body?<br>

<br>
</div>I added a sentence clarifying that. See the commit:<br>
<a href="http://hg.python.org/peps/rev/4d6c827944c4" target="_blank">http://hg.python.org/peps/rev/4d6c827944c4</a><br>
<br>
Does that address your concern?<br></blockquote><div><br></div><div style>Yes, much better now.  Thank you!</div><div><br></div></div></div></div>