[Python-Dev] Changing the Division Operator -- PEP 238, rev 1.12

[Guido van Rossum]

Hi Michael,

Barry's on vacation, so I've done the honors.  It's checked in as PEP
264.

I like this a lot -- I hope we can add this to 2.2a2 (which was due
today but is postponed for at least a week).

I think the integral flags to compile() are fine, and 'or' is indeed
the right thing.  After reading the PEP, I understand the refactoring
that I complained about in a comment on the patch.

Good job!

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