Terry J. Reedy added the comment:
In other words, change
'''
type(object)
Return the type of an object. ...
...
With three arguments, type() functions as a constructor as detailed below.
type(name, bases, dict)
Return a new type object....
'''
to something like
'''
type(object)
type(name, bases, dict)
With one argument, return the type of an object. ...
With three arguments, return a new type object. ...
'''
Now that we are using double headers elsewhere, I agree we should do so here
also.
----------
nosy: +terry.reedy
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue16210>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
