[Python-Dev] User's complaints

[Armin Rigo]

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