[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

AltStyle によって変換されたページ (->オリジナル) /