Re: The @@ is terrible, are we sure we're OK with it?

Hi! > I know we've voted twice on this already, but are we really sure that > the @@ syntax is a good idea? I think it's not a very good idea, and <<>> was just fine, but a lot of folks apparently voted for it. Would be nice to see their opinion and how they answer your concerns. I'm not sure it's proper to override the vote unless there are some severe technical concerns that make that choice impossible. -- Stas Malyshev smalyshev@gmail.com