Re: [SOLVED] Libtool/zsh quoting problem: a zsh... bug?

[DervishD <zsh@dervishd.net>]

    Hi Andrey :)

 * Andrey Borzenkov <arvidjaar@newmail.ru> dixit:
> On Saturday 11 February 2006 12:36, DervishD wrote:
> >
> >     The problem is that zsh does word splitting in this construct:
> >
> >     ${1+"$@"}
> >
> 
> See this thread:
> <http://www.zsh.org/mla/workers/2002/msg00542.html>; there was an
> attempt to fix it in 16949 but apparently it was incomplete and
> never went in.

    Thanks for the information, Alexey :)))
 
> >     I don't know if this can be considered a zsh bug or not. The SUS
> > standard says that field splitting is done after parameter expansion,
> > so I think it should be done on the above expansion. Unfortunately,
> > Bash doesn't seem to do it.
> 
> bash is right and zsh is not.

    Could you please point me to where the standard says that the
splitting shouldn't be done after that particular expansion? I've
been searching with no success :((( The only thing I've found is that
when a parameter expansion occurs in double quotes, field splitting
shall not be done in the result, except for "@".

    The problem is that libtool doesn't use "${1+... but just $1+...,
without quotes, so the splitting *should* be done. That's why I think
bash is wrong here and zsh is right.

    Anyway, if the people at autoconf used the "alias -g" solution,
libtool people could, too...

> >     I'm thinking about submitting a patch to the libtool people, with
> > something like this:
> >
> >     alias -g '${1+"$@"}'='"$@"'
> >
> The funny part of it is that autoconf includes exactly the above
> workaround since quoted thread; this is also documented in autoconf
> info.

    Oops O:))) The funny part here is that I've studied autoconf code
(and of course its documentation) and I've completely missed this...
I spent almost three hours trying to catch the bug :((((

> >     I know, that's a dirty hack, but I cannot think about any other
> > fix (except "fixing" zsh itself, although I'm not sure this is a
> > bug).
> >
> >     Any suggestion???
> 
> Fix a bug in zsh :)

    Easy to say, difficult to do XD I'm not familiar with the code
and if I try to fix this I'm sure I'm going to break a lot of things,
unfortunately :((((

    Thanks for your help, Alexey :))))

    Raúl Núñez de Arenas Coronado

-- 
Linux Registered User 88736 | http://www.dervishd.net
http://www.pleyades.net & http://www.gotesdelluna.net
It's my PC and I'll cry if I want to... RAmen!