GNU bug report logs - #11339
24.1.50; read-{buffer,file-name}-completion-ignore-case fails on non-ascii

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 11339-done <at> debbugs.gnu.org, stephen.berman <at> gmx.net, stefan <at> marxist.se
Subject: bug#11339: 24.1.50; read-{buffer,file-name}-completion-ignore-case fails on non-ascii
Date: Sat, 09 Nov 2019 21:57:36 +0200

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> Cc: stephen.berman <at> gmx.net,  11339 <at> debbugs.gnu.org,  stefan <at> marxist.se
> Date: Sat, 09 Nov 2019 13:24:06 -0500
> 
> > What about the below?  It passes all the tests, and also fixes the
> > original use case.
> 
> Sounds good.

Thanks, installed.

> I have the impression that I was the original author of that "early
> exit" optimization (or at least some of it), but my brain must be
> decaying because I have a hard time understanding the code.  I also
> wonder if it's really worth the effort (of the optimization, I
> mean).

AFAICT, you were the author of the "don't count the same string more
than once" fragment.

I'm closing the bug report.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.