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

Armin Rigo arigo at tunes.org
Mon Jul 17 20:25:21 CEST 2006


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,

Armin



More information about the Python-Dev mailing list