On Fri, May 31, 2013 at 11:34 AM, Łukasz Langa <luk...@langa.pl> wrote:
> On 31 maj 2013, at 12:18, Gustavo Carneiro <gjcarne...@gmail.com> wrote: > > > 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? > > I added a sentence clarifying that. See the commit: > http://hg.python.org/peps/rev/4d6c827944c4 > > Does that address your concern? > Yes, much better now. Thank you!
_______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com