[Python-Dev] [poll] New name for __builtins__

[Phillip J. Eby]

At 06:16 PM 11/30/2007 -0500, Fred Drake wrote:
>On Nov 30, 2007, at 6:05 PM, Guido van Rossum wrote:
> > It's almost as if nobody has seen my proposal to leave __builtins__
> > alone and rename the __builtin__ module instead.
>
>
>I suspect that's indistinguishable from everyone being tired of the
>discussion, knowing that you're going to pick something reasonable in
>spite of our yammering.
>
>+1 for a module named "builtin", or something similarly obscure.

What he said - but "builtins", i.e. plural.