Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: zsh 3.x: <..> ranges in globbing



Andrej Borsenkow wrote:
> On Mon, 12 Jan 1998, Peter Stephenson wrote:
> > You should probably note that <100->0foo won't match 1000foo, since
> > the 1000 gets swallowed up before the shell even knows it's going
> > to have to match another digit next. This is a much more difficult
> > problem requiring backtracking.  I could make a special case so that
> > simple things like this work, but expressions like <100->(0|bar)foo would
> > require much more fiddling.  (Of course, <100-999>0foo works now.)
> 
> I am not sure, that it is right thing.

No, it's definitely wrong if you think in ordinary pattern matching terms
(and that's just what I suggested you should do for the patch I sent).  It
just seems too minor to fix at the moment.  It could be done by implementing
the range operator as a sort of closure using the new backtracking code.

-- 
Peter Stephenson <pws@xxxxxx>       Tel: +39 50 911239
WWW:  http://www.ifh.de/~pws/
Gruppo Teorico, Dipartimento di Fisica
Piazza Torricelli 2, 56100 Pisa, Italy



Messages sorted by: Reverse Date, Date, Thread, Author