[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