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
_______________________________________________
Python-Dev mailing list
[email protected]
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
