Message172778
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. |
|
Date |
User |
Action |
Args |
2012-10-12 20:33:16 | terry.reedy | set | recipients:
+ terry.reedy, ezio.melotti, chris.jerdonek, docs@python |
2012-10-12 20:33:15 | terry.reedy | set | messageid: <1350073995.97.0.688286768404.issue16210@psf.upfronthosting.co.za> |
2012-10-12 20:33:15 | terry.reedy | link | issue16210 messages |
2012-10-12 20:33:15 | terry.reedy | create | |
|