[Python-Dev] Changing the Division Operator -- PEP 238, rev 1.12 (original) (raw)

Guido van Rossum guido@python.org
Thu, 09 Aug 2001 20:38:28 -0400

I've uploaded a new patch, which takes Tim's suggestion of using the Feature objects and runs with it. I'd appreciate it if you and Tim could cast an eye over it - if you think the apprach is sound then I'll update my PEP and draft some changes to 236.

I hope Tim can do this -- I need to take a break from chores.

--Guido van Rossum (home page: http://www.python.org/~guido/)