[Python-Dev] User's complaints (original) (raw)

Bob Ippolito bob at redivi.com
Mon Jul 17 21:39:08 CEST 2006


On Jul 17, 2006, at 11:25 AM, Armin Rigo wrote:

Hi Bob,

On Thu, Jul 13, 2006 at 12:58:08AM -0700, Bob Ippolito wrote:

@main def whatever(): ...

It would probably need to be called something else, because main is often the name of the main function... Ah, but there is theoretically no name clash here :-) @main # <- from the built-ins def main(): # <- and only then set the global ... Just-making-a-stupid-point-and-not-endorsing-the-feature-ly yours,

Of course it works, but it's still overriding a built-in... Who
knows when assignment to main will become a SyntaxError like None ;)

-bob



More information about the Python-Dev mailing list