[Ivan Van Laningham]

> What about adding another method, "setincrement()"?
 . . .

> Not that there's any real utility in that.

That was a short lived suggestion ;-)

Also, it would entail storing an extra value in the dictionary header.  That
alone would be a killer.


Raymond


-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to