[Python-Dev] Warning about use of long double - what's the correct approach?

Skip Montanaro skip@pobox.com
Tue, 8 Oct 2002 12:38:24 -0500


>>>>> "Guido" == Guido van Rossum <guido@python.org> writes:

    Guido> That's a longstanding nit: $OPT is used to specify some standard
    Guido> things as well as giving you a hook to override.  I think we
    Guido> should introduce a separate variable.

That makes good sense to me.  For the purposes of backward compatibility, I
suppose we shouldn't change OPT as the variable people set to tweak
settings.  I'll create a new BASEOPT variable and submit a patch.

Skip