GNU logs - #47678, boring messages


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Daniel Mendler <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 09 Apr 2021 20:36:02 +0000
Resent-Message-ID: <handler.47678.B.161800054110851 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 47678 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.161800054110851
          (code B ref -1); Fri, 09 Apr 2021 20:36:02 +0000
Received: (at submit) by debbugs.gnu.org; 9 Apr 2021 20:35:41 +0000
Received: from localhost ([127.0.0.1]:51031 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lUxqv-0002ow-7V
	for submit <at> debbugs.gnu.org; Fri, 09 Apr 2021 16:35:41 -0400
Received: from lists.gnu.org ([209.51.188.17]:36430)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1lUxqs-0002on-NL
 for submit <at> debbugs.gnu.org; Fri, 09 Apr 2021 16:35:39 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:55546)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <mail@HIDDEN>)
 id 1lUxqr-0000P7-6v
 for bug-gnu-emacs@HIDDEN; Fri, 09 Apr 2021 16:35:38 -0400
Received: from server.qxqx.de ([2a01:4f8:121:346::180]:38647 helo=mail.qxqx.de)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <mail@HIDDEN>)
 id 1lUxqn-00035D-HZ
 for bug-gnu-emacs@HIDDEN; Fri, 09 Apr 2021 16:35:36 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de;
 s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Date:
 Message-ID:Subject:From:To:Sender:Reply-To:Cc:Content-ID:Content-Description:
 Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:
 In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe:
 List-Post:List-Owner:List-Archive;
 bh=T/0GKJw5zYS0Fg6PPyRyzguMtSVIW1RSbzIWF52XpgI=; b=pqleKi+ajGSKO7MUhZFb9YmAdT
 XKpQMBvX1lYdyM5pehzOqgCvfxvIOi+RvarURpJHC3A5qdKh0iwpUNRJ1zUFC6sKCt5kKT16J7aVj
 /CF3rDYuw/4zKlSG21Gg/9fXZwjfPEOPnh2X8f1hzuBZgfVPOJhRn1AR3H+Ts2M08h7g=;
From: Daniel Mendler <mail@HIDDEN>
Message-ID: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
Date: Fri, 9 Apr 2021 22:35:28 +0200
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Received-SPF: pass client-ip=2a01:4f8:121:346::180;
 envelope-from=mail@HIDDEN; helo=mail.qxqx.de
X-Spam_score_int: -41
X-Spam_score: -4.2
X-Spam_bar: ----
X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.4 (--)

1. Start emacs -Q, evaluate the following code:

~~~
(defun test-boundaries ()
   (interactive)
   (let* ((contents (minibuffer-contents-no-properties))
          (pt (max 0 (- (point) (minibuffer-prompt-end))))
          (before (substring contents 0 pt))
          (after (substring contents pt)))
     (completion-boundaries before
                            minibuffer-completion-table
                            minibuffer-completion-predicate
                            after)))
(global-set-key (kbd "C-.") #'test-boundaries)
~~~

2. Press "C-x C-f"
3. Enter the path "~//"
4. Move the point between the slashes, "~/|/"
5. Press "C-."

The function `test-boundaries' should determine the completion
boundaries correctly. I assume that the function `completion-boundaries'
should never fail with an error. This bug is hard to trigger with
default completion but occurs more often with continuously updating
interactive completion systems like "Vertico", when entering some path
and moving the point around.

I've got confirmation that the bug is still present in Emacs 28, but I 
have not tested this myself.

In GNU Emacs 27.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.5, 
cairo version 1.16.0)
  of 2021-02-09, modified by Debian built on 3df710f593d9
Repository revision: b0229d4bbaea7fcddffced393512c650212830db
Repository branch: deb/emacs/d/sid/master
Windowing system distributor 'The X.Org Foundation', version 11.0.12004000
System Description: Debian GNU/Linux 10 (buster)

Recent messages:
test-boundaries [2 times]
Quit
completion--some: Assertion failed: (string-prefix-p ustring ufull) [2 
times]
Quit
(basic)
nil [2 times]
completion--some: Assertion failed: (string-prefix-p ustring ufull) [2 
times]
Quit [2 times]
next-line: End of buffer
Mark set

Configured using:
  'configure --build x86_64-linux-gnu --prefix=/usr
  --sharedstatedir=/var/lib --libexecdir=/usr/lib
  --localstatedir=/var/lib --infodir=/usr/share/info
  --mandir=/usr/share/man --enable-libsystemd --with-pop=yes
 
--enable-locallisppath=/etc/emacs:/usr/local/share/emacs/27.1/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/27.1/site-lisp:/usr/share/emacs/site-lisp
  --with-sound=alsa --without-gconf --with-mailutils --build
  x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib
  --libexecdir=/usr/lib --localstatedir=/var/lib
  --infodir=/usr/share/info --mandir=/usr/share/man --enable-libsystemd
  --with-pop=yes
 
--enable-locallisppath=/etc/emacs:/usr/local/share/emacs/27.1/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/27.1/site-lisp:/usr/share/emacs/site-lisp
  --with-sound=alsa --without-gconf --with-mailutils --with-cairo
  --with-x=yes --with-x-toolkit=gtk3 --with-toolkit-scroll-bars
  'CFLAGS=-g -O2
  -fdebug-prefix-map=/emacs/emacs=. -fstack-protector-strong -Wformat
  -Werror=format-security -Wall' 'CPPFLAGS=-Wdate-time
  -D_FORTIFY_SOURCE=2' LDFLAGS=-Wl,-z,relro'

Configured features:
XPM JPEG TIFF GIF PNG RSVG CAIRO SOUND GPM DBUS GSETTINGS GLIB NOTIFY
INOTIFY ACL LIBSELINUX GNUTLS LIBXML2 FREETYPE HARFBUZZ M17N_FLT LIBOTF
ZLIB TOOLKIT_SCROLL_BARS GTK3 X11 XDBE XIM MODULES THREADS LIBSYSTEMD
JSON PDUMPER LCMS2 GMP

Important settings:
   value of $LANG: en_US.UTF-8
   locale-coding-system: utf-8-unix

Major mode: Emacs-Lisp

Minor modes in effect:
   tooltip-mode: t
   global-eldoc-mode: t
   eldoc-mode: t
   electric-indent-mode: t
   mouse-wheel-mode: t
   tool-bar-mode: t
   menu-bar-mode: t
   file-name-shadow-mode: t
   global-font-lock-mode: t
   font-lock-mode: t
   blink-cursor-mode: t
   auto-composition-mode: t
   auto-encryption-mode: t
   auto-compression-mode: t
   line-number-mode: t
   transient-mark-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message rmc puny dired dired-loaddefs
format-spec rfc822 mml mml-sec password-cache epa derived epg epg-config
gnus-util rmail rmail-loaddefs text-property-search time-date subr-x seq
byte-opt gv bytecomp byte-compile cconv mm-decode mm-bodies mm-encode
mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047
rfc2045 ietf-drums mm-util mail-prsvr mail-utils edmacro kmacro vc-git
diff-mode easymenu easy-mmode cl-loaddefs cl-lib tooltip eldoc electric
uniquify ediff-hook vc-hooks lisp-float-type mwheel term/x-win x-win
term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe
tabulated-list replace newcomment text-mode elisp-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch timer
select scroll-bar mouse jit-lock font-lock syntax facemenu font-core
term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang
misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms
cp51932 hebrew greek romanian slovak czech european ethiopic indian
cyrillic chinese composite charscript charprop case-table epa-hook
jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice loaddefs
button faces cus-face macroexp files text-properties overlay sha1 md5
base64 format env code-pages mule custom widget hashtable-print-readable
backquote threads dbusbind inotify lcms2 dynamic-setting
system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit
x multi-tty make-network-process emacs)




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Daniel Mendler <mail@HIDDEN>
Subject: bug#47678: Acknowledgement (27.1; `completion-boundaries`
 assertion failure for file)
Message-ID: <handler.47678.B.161800054110851.ack <at> debbugs.gnu.org>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
X-Gnu-PR-Message: ack 47678
X-Gnu-PR-Package: emacs
Reply-To: 47678 <at> debbugs.gnu.org
Date: Fri, 09 Apr 2021 20:36:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 47678 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
47678: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D47678
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 12 Apr 2021 23:29:02 +0000
Resent-Message-ID: <handler.47678.B47678.161827009122360 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.161827009122360
          (code B ref 47678); Mon, 12 Apr 2021 23:29:02 +0000
Received: (at 47678) by debbugs.gnu.org; 12 Apr 2021 23:28:11 +0000
Received: from localhost ([127.0.0.1]:58321 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lW5yV-0005oZ-7u
	for submit <at> debbugs.gnu.org; Mon, 12 Apr 2021 19:28:11 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:43315)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lW5yT-0005oM-T0
 for 47678 <at> debbugs.gnu.org; Mon, 12 Apr 2021 19:28:10 -0400
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 549034416F9;
 Mon, 12 Apr 2021 19:28:04 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 5C683440FB4;
 Mon, 12 Apr 2021 19:28:02 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1618270082;
 bh=TKY6x0CwFJwUMINFda4dBIpgMcS8ZUJbuBNJAmiaP9k=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=j2zX4vsHBdSu5VBQvfEtr6jFrBDj04WJScV6FHVMyDP3tFYryOw4ASSGbwqXtv9B1
 6Xlpk4GVxxxTONm8WmjL5eXHdhuIc2T4Wu93lBVirZldeoI/JVc+KnZunoOZ+xuH5b
 0XgC86I4S0It9WAfNdN0mGDm5Qcn3kP9spAotjmCZRroDruLIXUYiNm9wJ8iW/UGDW
 cHkM9tFXG03dTqSAuFRMIxL4Z9/qESRa5Z9fjvbhyg+GvJSkzdOs3amU+S1BHVgtf6
 YoUOJstvD3ZU9ZJIzw2/RdYcnifJ0SNxFV3OkCuO4UqAEVJQtvBtJYvQKriwST3o1Z
 XheJwJ/2MEUYw==
Received: from alfajor (104-222-126-84.cpe.teksavvy.com [104.222.126.84])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 194CD120434;
 Mon, 12 Apr 2021 19:28:02 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
Date: Mon, 12 Apr 2021 19:28:00 -0400
In-Reply-To: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN> (Daniel
 Mendler's message of "Fri, 9 Apr 2021 22:35:28 +0200")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.108 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> 2. Press "C-x C-f"
> 3. Enter the path "~//"
> 4. Move the point between the slashes, "~/|/"
> 5. Press "C-."

Thanks!
[ It would have helped to say what happens for you there.  ]

> The function `test-boundaries' should determine the completion
> boundaries correctly. I assume that the function `completion-boundaries'
> should never fail with an error.

[ From this I can guess that you maybe got some kind of error?
  Including a backtrace or the text of the error or some
  description of the error would have been helpful.  ]

I installed the patch below, which seems to fix the immediate problem
I managed to reproduce, but it might lead to further problems down
the road.


        Stefan


diff --git a/lisp/minibuffer.el b/lisp/minibuffer.el
index 5f594679ca..c900b0d7ce 100644
--- a/lisp/minibuffer.el
+++ b/lisp/minibuffer.el
@@ -488,8 +488,17 @@ completion-table-with-quoting
              (qsuffix (cdr action))
              (ufull (if (zerop (length qsuffix)) ustring
                       (funcall unquote (concat string qsuffix))))
-             (_ (cl-assert (string-prefix-p ustring ufull)))
-             (usuffix (substring ufull (length ustring)))
+             ;; If (not (string-prefix-p ustring ufull)) we have a problem:
+             ;; the unquoting the qfull gives something "unrelated" to ustring.
+             ;; E.g. "~/" and "/" where "~//" gets unquoted to just "/" (see
+             ;; bug#47678).
+             ;; In that case we can't even tell if we're right before the
+             ;; "/" or right after it (aka if this "/" is from qstring or
+             ;; from qsuffix), which which usuffix to use is very unclear.
+             (usuffix (if (string-prefix-p ustring ufull)
+                          (substring ufull (length ustring))
+                        ;; FIXME: Maybe "" is preferable/safer?
+                        qsuffix))
              (boundaries (completion-boundaries ustring table pred usuffix))
              (qlboundary (car (funcall requote (car boundaries) string)))
              (qrboundary (if (zerop (cdr boundaries)) 0 ;Common case.





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Daniel Mendler <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 13 Apr 2021 04:05:01 +0000
Resent-Message-ID: <handler.47678.B47678.161828667616907 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stefan Monnier <monnier@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.161828667616907
          (code B ref 47678); Tue, 13 Apr 2021 04:05:01 +0000
Received: (at 47678) by debbugs.gnu.org; 13 Apr 2021 04:04:36 +0000
Received: from localhost ([127.0.0.1]:58694 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lWAHz-0004Od-N4
	for submit <at> debbugs.gnu.org; Tue, 13 Apr 2021 00:04:35 -0400
Received: from server.qxqx.de ([178.63.65.180]:42479 helo=mail.qxqx.de)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1lWAHx-0004OF-Ak
 for 47678 <at> debbugs.gnu.org; Tue, 13 Apr 2021 00:04:34 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de;
 s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:
 MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=GOAn4zZPaOQR8MymFfmFSptEcKeNnt75S/yBr3ZOOOY=; b=sbNQzbsEOqUymuQ8cFzDGlBILF
 dtl56zXJAkF9dLchh7zBPlj7T0y2eMWVHsGyqRl+3zt8wXi7G7jMZbOC4r/kdLm1++I2rr1kRetXQ
 rTUNta7oq1/hN+LemS9wpS+0Xx87a5hveNaWfYrFPK2Z1Atr45ppg9nighT911PMddLc=;
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
From: Daniel Mendler <mail@HIDDEN>
Message-ID: <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
Date: Tue, 13 Apr 2021 06:04:24 +0200
MIME-Version: 1.0
In-Reply-To: <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

On 4/13/21 1:28 AM, Stefan Monnier wrote:
>> 2. Press "C-x C-f"
>> 3. Enter the path "~//"
>> 4. Move the point between the slashes, "~/|/"
>> 5. Press "C-."
> 
> Thanks!
> [ It would have helped to say what happens for you there.  ]

Yes, I wrote "assertion failure". Sorry for not having been more precise 
(out of bounds error/assertion failure and pasted a stack trace, I will 
do that the next time). On Emacs 28 it seems to only give an out of 
bounds error directly. But from the patch below you identified the 
relevant line. I had seen ufull/ustring/usomething in the error message.

> I installed the patch below, which seems to fix the immediate problem
> I managed to reproduce, but it might lead to further problems down
> the road.

Thank you for looking into this. I hope this will not lead to further 
problems, it is mostly an edge case when moving around the cursor and 
the path at that point is not really valid? What kind of issues could 
happen? I can always enter some invalid/shadowed path ///, /~~~/, ~/~/~, 
which do not make problems (at least with this patch).




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 13 Apr 2021 12:47:02 +0000
Resent-Message-ID: <handler.47678.B47678.161831799312275 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.161831799312275
          (code B ref 47678); Tue, 13 Apr 2021 12:47:02 +0000
Received: (at 47678) by debbugs.gnu.org; 13 Apr 2021 12:46:33 +0000
Received: from localhost ([127.0.0.1]:59254 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lWIR7-0003Bq-2m
	for submit <at> debbugs.gnu.org; Tue, 13 Apr 2021 08:46:33 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:34985)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lWIR5-0003Bc-Nf
 for 47678 <at> debbugs.gnu.org; Tue, 13 Apr 2021 08:46:32 -0400
Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 30F8E10001F;
 Tue, 13 Apr 2021 08:46:26 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id B0BBA100205;
 Tue, 13 Apr 2021 08:46:23 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1618317983;
 bh=S8qGulzPwoz2KswQAhUlkj6FdzKQr5fgR7aFj5VXSUg=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=G4E4s64wOTGyEC1CKVS4Ie4DIZGiLODYs1mVJ7UxDjmDoIfRLRL/pWoaMzlHvxh57
 RKe0K+zUGmEsy5jgEQ9wS1Jlu2FiOMfErSA2xTnAlio81GCpBuYSOfn2slJ8rYyh/7
 R1JgIpfWvcv/9m8a77K1BGpz2GxViZm/9v0L0/a8288kWhPyw4r2CfKX6QdvkhgM4m
 4QgYVmqF5RaP0THtZncYCL2bUxN0d/2X6U7G6FummLnp1UWIuNGyBUZRX8K9mkkpu1
 SBzwevZYO11SBiVt/ckvDl4Ow9PCOI8l6RMMW89SzvC1smDsmR3fnmyoOehnhMNqb9
 Nd2jtoEImqBuw==
Received: from alfajor (104-222-126-84.cpe.teksavvy.com [104.222.126.84])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 8101F1201A7;
 Tue, 13 Apr 2021 08:46:23 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
Date: Tue, 13 Apr 2021 08:46:22 -0400
In-Reply-To: <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN> (Daniel
 Mendler's message of "Tue, 13 Apr 2021 06:04:24 +0200")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.011 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> Thank you for looking into this. I hope this will not lead to further
> problems, it is mostly an edge case when moving around the cursor and the
> path at that point is not really valid? What kind of issues could happen?
> I can always enter some invalid/shadowed path ///, /~~~/, ~/~/~, which do
> not make problems (at least with this patch).

The problem has to do with quoting/unquoting: in `C-x C-f` we do not
quite enter "raw file name" because the name typed by the user is passed
through `substitute-in-file-name` which expands envvar references (and
de-doubles dollars for those files whose name looks like an envvar
reference) and does some truncation (like foo//bar => /bar).

So the `completion-file-name-table` (which completes raw file names) is
wrapped via `completion-table-with-quoting` and this function has to be
able to relate the unquoted text back to the quoted text, for example in
order to convert the boundaries returned by `completion-file-name-table`
(on the unquoted file name) into the corresponding boundaries that apply
to the quoted file name.

This is in general somewhere between hard and impossible.  So if/when we
get those boundaries wrong (for example) it may lead to misbehavior down
the line.
I'd rather not try and guess what those might be.
I'm just hoping that they're minor enough and rare enough.


        Stefan





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Daniel Mendler <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 13 Apr 2021 14:45:02 +0000
Resent-Message-ID: <handler.47678.B47678.161832509424676 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stefan Monnier <monnier@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.161832509424676
          (code B ref 47678); Tue, 13 Apr 2021 14:45:02 +0000
Received: (at 47678) by debbugs.gnu.org; 13 Apr 2021 14:44:54 +0000
Received: from localhost ([127.0.0.1]:60483 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lWKHe-0006Pw-5P
	for submit <at> debbugs.gnu.org; Tue, 13 Apr 2021 10:44:54 -0400
Received: from server.qxqx.de ([178.63.65.180]:37451 helo=mail.qxqx.de)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1lWKHb-0006Pg-Nx
 for 47678 <at> debbugs.gnu.org; Tue, 13 Apr 2021 10:44:52 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de;
 s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:
 MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=On3cP+8cGsnJO/9fXLm7PZzCyzB8QSNNWFgpoJmRJSo=; b=rz9zEf3E3wS8jTMH7ok0U0B1Ri
 PuKc7zOjVQwhYumDd/LV8wUiC+i+2QV7Gfw1/DZ2yVtgCkvgu/GJP7dFD9oumyrlo/Mz55Lpn0Sru
 60iPQSZGLomopANK+/G126F+6qFRDJF4yFD5zrLtg63BkOXVchY6CI9VJTe4+yn2gDs4=;
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
From: Daniel Mendler <mail@HIDDEN>
Message-ID: <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
Date: Tue, 13 Apr 2021 16:44:42 +0200
MIME-Version: 1.0
In-Reply-To: <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

On 4/13/21 2:46 PM, Stefan Monnier wrote:
> The problem has to do with quoting/unquoting: in `C-x C-f` we do not
> quite enter "raw file name" because the name typed by the user is passed
> through `substitute-in-file-name` which expands envvar references (and
> de-doubles dollars for those files whose name looks like an envvar
> reference) and does some truncation (like foo//bar => /bar).

I am aware of that feature and use it but for now I avoided looking into 
how this is exactly implemented :)

> So the `completion-file-name-table` (which completes raw file names) is
> wrapped via `completion-table-with-quoting` and this function has to be
> able to relate the unquoted text back to the quoted text, for example in
> order to convert the boundaries returned by `completion-file-name-table`
> (on the unquoted file name) into the corresponding boundaries that apply
> to the quoted file name.
> 
> This is in general somewhere between hard and impossible.  So if/when we
> get those boundaries wrong (for example) it may lead to misbehavior down
> the line.
> I'd rather not try and guess what those might be.
> I'm just hoping that they're minor enough and rare enough.

Thank you for the detailed explanation.

Ok, but in the case where this issue occurs we already have a somehow 
broken path, especially when moving with the point over the shadowed 
parts. So as a user I would not be worried to much if this does not work.

I hope most assumptions down the line are checked by conditions. However 
given that in this particular case we already have an error we could 
only get more errors at worst down the line?

(Btw, in Vertico I throw out the shadowed paths as soon as I get the 
opportunity (vertico--tidy-shadowed-file) in the same way as Icomplete 
does it if enabled.)

Daniel




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 13 Apr 2021 22:35:01 +0000
Resent-Message-ID: <handler.47678.B47678.161835329830294 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.161835329830294
          (code B ref 47678); Tue, 13 Apr 2021 22:35:01 +0000
Received: (at 47678) by debbugs.gnu.org; 13 Apr 2021 22:34:58 +0000
Received: from localhost ([127.0.0.1]:32871 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lWRcY-0007sY-DA
	for submit <at> debbugs.gnu.org; Tue, 13 Apr 2021 18:34:58 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:36714)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lWRcT-0007sF-PN
 for 47678 <at> debbugs.gnu.org; Tue, 13 Apr 2021 18:34:56 -0400
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id ED0314417CB;
 Tue, 13 Apr 2021 18:34:47 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 5DAD7441776;
 Tue, 13 Apr 2021 18:34:46 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1618353286;
 bh=HVV2sfG/4juaWW1ujigPqmHnrxaCq0crYoAwPxadGME=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=P1D7a0V8T0qNyyvKshvVCCidzMd4H1DSPjYGOF6ggBmNhMn4/Lsd0eS+zQbrPoZjD
 lDWc4VFZj8+mjAZm+w8Jn4GekdjR7isJ0OfqLvLgbIfqv8m1Ws2NBOhZJW8c4rKOoz
 l20ZofNtG6G0XbUdfqn16gt2vkpI7c+7ZyD1GT6mN1P38RmR0saq6rotFxC0VVb2ss
 iLaIkD1rfiCGmzNL8T5Dwp4qIw5Gv/iuGRwrKfXYEB2eprDeMiK0M+1o/saXB4DnDj
 Wm2H6eZN6HlcDI5pK08UVBBH97YAbOjkAii7/z8dxQAp6/nTsdTkI34dVqtz2Ta5Jr
 R0HQndzslE3Rg==
Received: from alfajor (104-222-126-84.cpe.teksavvy.com [104.222.126.84])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 2F265120180;
 Tue, 13 Apr 2021 18:34:46 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvmtu14y12.fsf-monnier+emacs@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
Date: Tue, 13 Apr 2021 18:34:38 -0400
In-Reply-To: <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN> (Daniel
 Mendler's message of "Tue, 13 Apr 2021 16:44:42 +0200")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.108 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> (Btw, in Vertico I throw out the shadowed paths as soon as I get the
> opportunity (vertico--tidy-shadowed-file) in the same way as Icomplete does
> it if enabled.)

The default completion UI tries pretty hard to avoid all operations that
are specific to a particular backend.  There are still some details
where we do things differently when we know we're completing filenames,
but I consider these to be failures of the API that need to be fixed.

IOW I consider the existence of `vertico--tidy-shadowed-file` as a bug
in itself ;-)


        Stefan





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 06 May 2021 10:02:02 +0000
Resent-Message-ID: <handler.47678.B47678.162029528811447 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stefan Monnier <monnier@HIDDEN>
Cc: Daniel Mendler <mail@HIDDEN>, 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.162029528811447
          (code B ref 47678); Thu, 06 May 2021 10:02:02 +0000
Received: (at 47678) by debbugs.gnu.org; 6 May 2021 10:01:28 +0000
Received: from localhost ([127.0.0.1]:37182 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1leaox-0002yI-Dr
	for submit <at> debbugs.gnu.org; Thu, 06 May 2021 06:01:27 -0400
Received: from quimby.gnus.org ([95.216.78.240]:46484)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1leaov-0002sO-FO
 for 47678 <at> debbugs.gnu.org; Thu, 06 May 2021 06:01:26 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=F4bHmT9WVFo5pyM3heDYorixDxbVgQMyHYvMsd9L0VA=; b=PPnehUiGVPXPfbBD66y+/tNOph
 cXU28J1AO13PQfEUPJAHD8Vc0zCrXoOQFEWrLBBGLushDgSHjC3Gz0JUZpqbI0FsADgIliBRltJfU
 OKJFZMX9I/siJMaHTeHzz5tZDwL3xXsgWsiE2e2D9aLR4HKw+eYfsDpnS9PSM3Mifgrk=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1leaom-0005lK-LQ; Thu, 06 May 2021 12:01:19 +0200
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN>
X-Now-Playing: Zola Jesus's _Burial Hex - Zola Jesus_: "Julius & Ethel"
Date: Thu, 06 May 2021 12:01:16 +0200
In-Reply-To: <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message
 of "Tue, 13 Apr 2021 18:34:38 -0400")
Message-ID: <87v97wxjtf.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  Stefan Monnier <monnier@HIDDEN> writes: > IOW I
 consider the existence of `vertico--tidy-shadowed-file` as a bug > in itself
 ;-) Skimming this thread, I'm not sure whether there's anything to be done
 in Emacs here? 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Stefan Monnier <monnier@HIDDEN> writes:

> IOW I consider the existence of `vertico--tidy-shadowed-file` as a bug
> in itself ;-)

Skimming this thread, I'm not sure whether there's anything to be done
in Emacs here?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 6 May 2021 10:01:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu May 06 06:01:31 2021
Received: from localhost ([127.0.0.1]:37185 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1leap0-00031G-Ru
	for submit <at> debbugs.gnu.org; Thu, 06 May 2021 06:01:31 -0400
Received: from quimby.gnus.org ([95.216.78.240]:46498)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1leaoz-0002vM-14
 for control <at> debbugs.gnu.org; Thu, 06 May 2021 06:01:29 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc:
 MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
 Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc
 :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=zndWqMcXiFSucadhPcAHEk/gZxbD05ZZGO0ZZ+OfjIQ=; b=CIIGsafjLhL1j8zJlp0VX2JWAw
 /XZOmiI3jxLP5aBwjCEZIdKGyIj1SJkQc/QMBprJjk0fWHPicVytYB3mWZ3YKxTOT2NqYYcwigJ5e
 czZa9rIew458KDKornhLCWPfDP4O2LR0+GjA7Tf2euV466WtMr1CtPVBvhAj2X+CA4Yo=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>) id 1leaor-0005lR-FL
 for control <at> debbugs.gnu.org; Thu, 06 May 2021 12:01:23 +0200
Date: Thu, 06 May 2021 12:01:21 +0200
Message-Id: <87tungxjta.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #47678
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  tags 47678 + moreinfo quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 47678 + moreinfo
quit





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Daniel Mendler <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 06 May 2021 11:08:02 +0000
Resent-Message-ID: <handler.47678.B47678.162029927119915 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo
To: Lars Ingebrigtsen <larsi@HIDDEN>, Stefan Monnier <monnier@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.162029927119915
          (code B ref 47678); Thu, 06 May 2021 11:08:02 +0000
Received: (at 47678) by debbugs.gnu.org; 6 May 2021 11:07:51 +0000
Received: from localhost ([127.0.0.1]:37406 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lebrC-0005B9-RL
	for submit <at> debbugs.gnu.org; Thu, 06 May 2021 07:07:51 -0400
Received: from server.qxqx.de ([178.63.65.180]:39385 helo=mail.qxqx.de)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1lebrA-0005B1-5A
 for 47678 <at> debbugs.gnu.org; Thu, 06 May 2021 07:07:49 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de;
 s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:
 MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=oAWAA09MMt/tI/Z/8FGjQhT631f5DbIfsSrnOuE7T6Y=; b=N3ZWtyudYXnmOZ2NAlSHFAOEg1
 7IRMHxkYhPDVQmG32xj7fM+rrp/l0Bj/05APHoi0E5B+RV+jiyWs1tZCwGCNJr6Jxjv1M3ecivM1y
 nUkVOK+FFvXz5ISQKKOmL5eOED0yGsHva/dUNiKk0zW3Y62xAm074K9ty8T0P/KOOXm0=;
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> <87v97wxjtf.fsf@HIDDEN>
From: Daniel Mendler <mail@HIDDEN>
Message-ID: <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN>
Date: Thu, 6 May 2021 13:07:40 +0200
MIME-Version: 1.0
In-Reply-To: <87v97wxjtf.fsf@HIDDEN>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

On 5/6/21 12:01 PM, Lars Ingebrigtsen wrote:
> Stefan Monnier <monnier@HIDDEN> writes:
> 
>> IOW I consider the existence of `vertico--tidy-shadowed-file` as a bug
>> in itself ;-)
> 
> Skimming this thread, I'm not sure whether there's anything to be done
> in Emacs here?

@Stefan The existence of this function is a bug for people who want to
keep their shadowed paths. This is a matter of preference. For me
shadowed paths are a cheap means of changing the directory during
completion and I usually don't want to go back to the old path in the
process. Icomplete has the same function, but guarded behind a
customization option. Why do you prefer to keep the shadowed paths?

@Lars From what I see, Stefan already fixed the bug?

Daniel




Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 07 May 2021 11:16:02 +0000
Resent-Message-ID: <handler.47678.B47678.162038610612922 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org, Stefan Monnier <monnier@HIDDEN>
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.162038610612922
          (code B ref 47678); Fri, 07 May 2021 11:16:02 +0000
Received: (at 47678) by debbugs.gnu.org; 7 May 2021 11:15:06 +0000
Received: from localhost ([127.0.0.1]:43258 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1leyRm-0003MM-5y
	for submit <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:06 -0400
Received: from quimby.gnus.org ([95.216.78.240]:59194)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1leyRk-0003LS-AG
 for 47678 <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:04 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=2DqJS+erd+7x9z2y6sjVUnLxOnkG4CikN4kan7V98+Y=; b=Z0V94y5R6QXHGAx/q3Hk4h+EOS
 eksNfypNE7l3vgsbkWJRNFkFpLJSsdLCoqOnXAWPs55VpOA3YiWqknJou9ubrfG/1o8hgM33R8VZu
 mLqEnb1l1p1RF9ZeQtYyU1HU+R1BZ0GrijMSmTMClIydEF3aRXzQP2wNbGANdJyxzb8Q=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1leyRb-0006ie-IE; Fri, 07 May 2021 13:14:57 +0200
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> <87v97wxjtf.fsf@HIDDEN>
 <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN>
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwAgMAAAAqbBEUAAAAIGNIUk0AAHomAACAhAAA+gAA
 AIDoAAB1MAAA6mAAADqYAAAXcJy6UTwAAAAMUExURZFsZ76Zl042MP///9rG5v0AAAABYktHRAMR
 DEzyAAAACXBIWXMAAFxGAABcRgEUlENBAAAAB3RJTUUH5QUHCwwSjDNG/QAAAF50RVh0UmF3IHBy
 b2ZpbGUgdHlwZSA4YmltAAo4YmltCiAgICAgIDI4CjM4NDI0OTRkMDNlZDAwMDAwMDAwMDAxMDAy
 NTgwMDAwMDAwMTAwMDEwMjU4MDAwMDAwMDEwMDAxChDG9fMAAAFJSURBVCjPbdDNasJAEAfw6WIl
 7ElLc7CnWlqRfQopKnRPaUgEPRfBPsUqCrI3SwvqKQlWNvOUnc33oXtI9sf+Z7IZgHrdNvbAmtBN
 iMZeIXTo1YqyEoQQwGHGghMC4Ho4KhCOhMnCwiJA41mgxQwjb1PCR+Ub28xCIiY4pHrbjZ6IDtUT
 PE4HdIIWI4dfEQ3L0d5+U8yGIYCn34DywoK+nMqsR45YSjQFWCyzhjmMwCKGRXGOxsqg/8dWX+vY
 dnGpYEI/rrALZ2nV2qUZsBIBTWdTYtzx6tYd8CjG6aKCw33X+2hh8DM49V4J7uCCKzk9pALcd/dl
 jOPP9nm+gF7XXV5w+rA8HxC+Dmwykatd/23u21uLpPELNaJE6UdIIg2cw+b5BmLF9XGlJUQnuFuv
 E90+Etg+2vc5U0NHUYwKy8GBQSUqICpe4g/cmeV5+ShmDAAAACV0RVh0ZGF0ZTpjcmVhdGUAMjAy
 MS0wNS0wN1QxMToxMjoxOCswMDowMKJgDgoAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjEtMDUtMDdU
 MTE6MTI6MTgrMDA6MDDTPba2AAAAAElFTkSuQmCC
X-Now-Playing: Mikel Rouse's _Swingers Castle_: "LA Continental"
Date: Fri, 07 May 2021 13:14:55 +0200
In-Reply-To: <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN> (Daniel
 Mendler's message of "Thu, 6 May 2021 13:07:40 +0200")
Message-ID: <87czu2vlqo.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview: Daniel Mendler <mail@HIDDEN> writes: > @Lars From
 what I see, Stefan already fixed the bug? OK, closing this bug report, then.
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Daniel Mendler <mail@HIDDEN> writes:

> @Lars From what I see, Stefan already fixed the bug?

OK, closing this bug report, then.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 7 May 2021 11:15:13 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri May 07 07:15:13 2021
Received: from localhost ([127.0.0.1]:43261 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1leyRt-0003Md-Cr
	for submit <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:13 -0400
Received: from quimby.gnus.org ([95.216.78.240]:59212)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1leyRr-0003MT-Mu
 for control <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:12 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc:
 MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
 Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc
 :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=rC/TavyKQ/4eCPjfxFageM857LLFqSZgewTXUCQwweQ=; b=tNFuSwa3c8cowuASk8L8xF4Odz
 wK7AnBOgFyA/9co3niguHRcslmagOeAeVxzGHhGxtqBVOP0td5+g8TYP8LyG0Fo97KCj5Ts0Qw2pI
 D12PEvnXSJ4yyNZwsOYkMXkNgeLB/frxLv8tkyAfnxQXSDjpJM/535mUl9wKnpKaQGEM=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>) id 1leyRk-0006io-Ao
 for control <at> debbugs.gnu.org; Fri, 07 May 2021 13:15:06 +0200
Date: Fri, 07 May 2021 13:15:03 +0200
Message-Id: <87bl9mvlqg.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #47678
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  tags 47678 fixed close 47678 28.1 quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 47678 fixed
close 47678 28.1
quit





Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 7 May 2021 11:15:13 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri May 07 07:15:13 2021
Received: from localhost ([127.0.0.1]:43261 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1leyRt-0003Md-Cr
	for submit <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:13 -0400
Received: from quimby.gnus.org ([95.216.78.240]:59212)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1leyRr-0003MT-Mu
 for control <at> debbugs.gnu.org; Fri, 07 May 2021 07:15:12 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc:
 MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
 Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc
 :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=rC/TavyKQ/4eCPjfxFageM857LLFqSZgewTXUCQwweQ=; b=tNFuSwa3c8cowuASk8L8xF4Odz
 wK7AnBOgFyA/9co3niguHRcslmagOeAeVxzGHhGxtqBVOP0td5+g8TYP8LyG0Fo97KCj5Ts0Qw2pI
 D12PEvnXSJ4yyNZwsOYkMXkNgeLB/frxLv8tkyAfnxQXSDjpJM/535mUl9wKnpKaQGEM=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>) id 1leyRk-0006io-Ao
 for control <at> debbugs.gnu.org; Fri, 07 May 2021 13:15:06 +0200
Date: Fri, 07 May 2021 13:15:03 +0200
Message-Id: <87bl9mvlqg.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #47678
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  tags 47678 fixed close 47678 28.1 quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 47678 fixed
close 47678 28.1
quit





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 08 May 2021 23:42:02 +0000
Resent-Message-ID: <handler.47678.B47678.162051729911020 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo fixed
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org, Lars Ingebrigtsen <larsi@HIDDEN>
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.162051729911020
          (code B ref 47678); Sat, 08 May 2021 23:42:02 +0000
Received: (at 47678) by debbugs.gnu.org; 8 May 2021 23:41:39 +0000
Received: from localhost ([127.0.0.1]:52960 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lfWZm-0002rg-Qn
	for submit <at> debbugs.gnu.org; Sat, 08 May 2021 19:41:39 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:4268)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lfWZl-0002ra-AV
 for 47678 <at> debbugs.gnu.org; Sat, 08 May 2021 19:41:37 -0400
Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id F0340100201;
 Sat,  8 May 2021 19:41:31 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 874F21001F4;
 Sat,  8 May 2021 19:41:30 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1620517290;
 bh=X3Cw6LQTv8uFygnfbjT6Ftr5DRFzGwE1TnwTplIukTs=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=JugWycB2eNc0WqZFZBkW1uoIjIAGx75d8IA1qnDTJtye809CkOmC5PDT5AYgkBf8d
 FIqTnJSaOfii0GiA5XpNbhD3oP+lmEM5HX+se/rOs2qXXkMZpQK4BLlKxJHKgsOZtT
 O7M+wHZVpYXkWchymCU5YBwY1FT3PoWijMHbQDA6wTZCYzrIRt4ux1oFqV96Ln5jnJ
 VJ1/6KmQJAxmhbdr+f3j5WI+9x/91ZD8HqvGmdvqzb39lkZ238P3bNowY61K3Vr/J2
 rdHb6vIm0i/Vb7lZ1gNMkvjvuT82AO/A9CiCaXEqK8lRuGhvyxZkZIZrLR6x7eIpKY
 eWqwkkh1AkBHA==
Received: from alfajor (76-10-140-76.dsl.teksavvy.com [76.10.140.76])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 22529120175;
 Sat,  8 May 2021 19:41:30 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvr1igztsl.fsf-monnier+emacs@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> <87v97wxjtf.fsf@HIDDEN>
 <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN>
Date: Sat, 08 May 2021 19:41:29 -0400
In-Reply-To: <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN> (Daniel
 Mendler's message of "Thu, 6 May 2021 13:07:40 +0200")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.023 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Daniel Mendler [2021-05-06 13:07:40] wrote:
> On 5/6/21 12:01 PM, Lars Ingebrigtsen wrote:
>> Stefan Monnier <monnier@HIDDEN> writes:
>>> IOW I consider the existence of `vertico--tidy-shadowed-file` as a bug
>>> in itself ;-)
>> Skimming this thread, I'm not sure whether there's anything to be done
>> in Emacs here?

There is, but it's not a simple "bug fix".  What I meant above is that the
existence of `vertico--tidy-shadowed-file` reflects a shortcoming of the
completion API, which does not offer any way for the completion-table to
explain this kind of "shadowing", so the UI is stuck using ad-hoc tricks
by trying to detect use of some specific completion tables (e.g. by
testing `minibuffer-completing-file-name`) and then using
"inside-knowledge" of the semantics behind it.

Not only the way it's done is inevitably "hackish", but it's also very
hard to make it correct.  E.g. the shadowing is not a property of
file names but of `substitute-in-file-name`, so `file-name-shadow-mode`
and `vertico--tidy-shadowed-file` can misfire if you're reading a file
name which will not be passed to `substitute-in-file-name`.

> @Stefan The existence of this function is a bug for people who want to
> keep their shadowed paths. This is a matter of preference. For me
> shadowed paths are a cheap means of changing the directory during
> completion and I usually don't want to go back to the old path in the
> process. Icomplete has the same function, but guarded behind a
> customization option. Why do you prefer to keep the shadowed paths?

I don't.  I think it makes a lot of sense as a UI feature.

To do it right, we'd need completion tables to provide some kind of
"tidy up" or "simplify" or "canonicalize" method, I think.


        Stefan





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Daniel Mendler <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 09 May 2021 08:36:02 +0000
Resent-Message-ID: <handler.47678.B47678.16205493048608 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo fixed
To: Stefan Monnier <monnier@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org, Lars Ingebrigtsen <larsi@HIDDEN>
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.16205493048608
          (code B ref 47678); Sun, 09 May 2021 08:36:02 +0000
Received: (at 47678) by debbugs.gnu.org; 9 May 2021 08:35:04 +0000
Received: from localhost ([127.0.0.1]:55052 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lfetz-0002Em-NY
	for submit <at> debbugs.gnu.org; Sun, 09 May 2021 04:35:03 -0400
Received: from server.qxqx.de ([178.63.65.180]:41359 helo=mail.qxqx.de)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mail@HIDDEN>) id 1lfetx-0002EK-2S
 for 47678 <at> debbugs.gnu.org; Sun, 09 May 2021 04:35:01 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=qxqx.de;
 s=mail1392553390; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:
 MIME-Version:Date:Message-ID:From:References:Cc:To:Subject:Sender:Reply-To:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=bYGwAPAiZWyeRMu5PSm6jgnjTa+3aRWQ4Q+dhiOU72s=; b=OxCxzmi8GkgMgR3/fs/0hzyr7P
 Rono85euowZcn98rZb6RNDcghI9lgNozkKQ1UEFzeFDqc3V5dZZcB1uLb7hE7+JvGiyGILwiFlTvP
 kJ9i3xwdgz8OvRFrKUnOf/dugqVP4OTpzUI2LdzAOxf6MbPt0dMBl9xXZEsObkoyOTio=;
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> <87v97wxjtf.fsf@HIDDEN>
 <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN>
 <jwvr1igztsl.fsf-monnier+emacs@HIDDEN>
From: Daniel Mendler <mail@HIDDEN>
Message-ID: <8102d308-0c23-f3ac-93c2-1634abe24acc@HIDDEN>
Date: Sun, 9 May 2021 10:34:52 +0200
MIME-Version: 1.0
In-Reply-To: <jwvr1igztsl.fsf-monnier+emacs@HIDDEN>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

On 5/9/21 1:41 AM, Stefan Monnier wrote:
> Not only the way it's done is inevitably "hackish", but it's also very
> hard to make it correct.  E.g. the shadowing is not a property of
> file names but of `substitute-in-file-name`, so `file-name-shadow-mode`
> and `vertico--tidy-shadowed-file` can misfire if you're reading a file
> name which will not be passed to `substitute-in-file-name`.
> ...
> To do it right, we'd need completion tables to provide some kind of
> "tidy up" or "simplify" or "canonicalize" method, I think.

Thank you for the clarification. I agree. A while ago when fiddling with
file based commands I had wondered why completing-read or the UI can
even return shadowed paths leading to complications down the road. A
canonicalize method would be a good way to achieve this generically. Are
there more examples where one would want to do such a canonicalization?

In the case of file name canonicalization, one has to consider - the
file name is allowed to contain environment variables. This is a feature
which I would like to retain at the UI level. It would be good if the
returned string is canonicalized, but I do not want to dynamically
expand the environment variable while the user enters input. In
contrast, with shadowed paths I am perfectly fine if the UI removes that
shadowed path automatically, like Icomplete and Vertico do it.

What do you mean by "providing a method"? Add a method to the completion
table function itself or to add a completion metadata
`canonicalize-function`? Modifying the completion table specification
itself is more problematic since it is not extensible in its current form.

Daniel




Message received at fakecontrol@fakecontrolmessage:


Received: (at fakecontrol) by fakecontrolmessage;
To: internal_control <at> debbugs.gnu.org
From: Debbugs Internal Request <help-debbugs@HIDDEN>
Subject: Internal Control
Message-Id: bug No longer marked as fixed in versions 28.1 and reopened.
Date: Sun, 09 May 2021 09:49:02 +0000
User-Agent: Fakemail v42.6.9

# This is a fake control message.
#
# The action:
# bug No longer marked as fixed in versions 28.1 and reopened.
thanks
# This fakemail brought to you by your local debbugs
# administrator


Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 9 May 2021 09:48:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun May 09 05:48:59 2021
Received: from localhost ([127.0.0.1]:55199 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lfg3X-0005Fn-3U
	for submit <at> debbugs.gnu.org; Sun, 09 May 2021 05:48:59 -0400
Received: from quimby.gnus.org ([95.216.78.240]:52132)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lfg3V-0005Fh-8U
 for control <at> debbugs.gnu.org; Sun, 09 May 2021 05:48:57 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc:
 MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
 Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc
 :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=DoyCQkoogOcsem6Mo1CReNBQW8Q5kkzlUGpTqHvwW4s=; b=MDi5rGD96JPCOWXeSj0rE6onPk
 Ew+Klxf45uLDBG38ma099rx4uHiy5DL8sBF9smsazwxHxD2OWkqHsVQGox/+koz7XVUXxnL9pTMnj
 GhmupZ0/X0HDztd4xan/AQU59/Dn4Kc7R37eVc0QVEq76qsnYXuP8h0EgbuddYJhAM4Q=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>) id 1lfg3N-0007sh-QM
 for control <at> debbugs.gnu.org; Sun, 09 May 2021 11:48:51 +0200
Date: Sun, 09 May 2021 11:48:49 +0200
Message-Id: <874kfcp79a.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #47678
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  reopen 47678 tags 47678 - fixed patch quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

reopen 47678
tags 47678 - fixed patch
quit





Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#47678: 27.1; `completion-boundaries` assertion failure for file
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 09 May 2021 13:39:02 +0000
Resent-Message-ID: <handler.47678.B47678.162056748722650 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 47678
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo
To: Daniel Mendler <mail@HIDDEN>
Cc: 47678 <at> debbugs.gnu.org, Lars Ingebrigtsen <larsi@HIDDEN>
Received: via spool by 47678-submit <at> debbugs.gnu.org id=B47678.162056748722650
          (code B ref 47678); Sun, 09 May 2021 13:39:02 +0000
Received: (at 47678) by debbugs.gnu.org; 9 May 2021 13:38:07 +0000
Received: from localhost ([127.0.0.1]:55426 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lfjdH-0005tG-00
	for submit <at> debbugs.gnu.org; Sun, 09 May 2021 09:38:07 -0400
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:19203)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1lfjdC-0005st-Su
 for 47678 <at> debbugs.gnu.org; Sun, 09 May 2021 09:38:05 -0400
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 238A54406F2;
 Sun,  9 May 2021 09:37:57 -0400 (EDT)
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id AEFAE4403A5;
 Sun,  9 May 2021 09:37:51 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1620567471;
 bh=D3YvAPtQFh4rXNML23B3Q445StP8qNE8vXb0qX5lbI0=;
 h=From:To:Cc:Subject:References:Date:In-Reply-To:From;
 b=VQRa49cGLPtpuW4dyKX8abxzoZU7uG45AZ33YxFDMhlI1OOwFP2cer4ypThe98XIS
 a81XiTlmrP0/2pIjE95NJ21IXTDeWm1dQPW2VyApTHxicr+x2l1R1R/Xv8TU5HWAMi
 qgseQrD83rDZ1JpGE2c4jxHWynhq3TodPQn3p+7PBeaBMyvf9NNJtWxs/y9HWV1C82
 ByboCl8XG3TF3m/E2j22n9CKLsNNlsaGU6ky2PYUAys5/vHc0nk/tmSvnY3WngmuVu
 ErWkTokDmMUjm2vhKPNfwHkz7g5uHtanq0kHTttp7+LgfYunYdnlOKGZRLIUVwcajW
 vOV+REpbq933Q==
Received: from alfajor (76-10-140-76.dsl.teksavvy.com [76.10.140.76])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 71590120151;
 Sun,  9 May 2021 09:37:51 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwvfsywyr44.fsf-monnier+emacs@HIDDEN>
References: <8d537117-d036-ad84-e013-d98efb3ae0c4@HIDDEN>
 <jwvpmyz9knm.fsf-monnier+emacs@HIDDEN>
 <e87cf9ba-ba66-6c12-5b92-ec390dc4a5c2@HIDDEN>
 <jwv4kga5pjm.fsf-monnier+emacs@HIDDEN>
 <c62c028e-ccce-7b4a-f6c0-40aa48af1ad8@HIDDEN>
 <jwvmtu14y12.fsf-monnier+emacs@HIDDEN> <87v97wxjtf.fsf@HIDDEN>
 <214d78e9-cda2-e2f2-7284-0f4f6bda43b7@HIDDEN>
 <jwvr1igztsl.fsf-monnier+emacs@HIDDEN>
 <8102d308-0c23-f3ac-93c2-1634abe24acc@HIDDEN>
Date: Sun, 09 May 2021 09:37:44 -0400
In-Reply-To: <8102d308-0c23-f3ac-93c2-1634abe24acc@HIDDEN> (Daniel
 Mendler's message of "Sun, 9 May 2021 10:34:52 +0200")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.084 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> Thank you for the clarification. I agree. A while ago when fiddling with
> file based commands I had wondered why completing-read or the UI can
> even return shadowed paths leading to complications down the road. A
> canonicalize method would be a good way to achieve this generically. Are
> there more examples where one would want to do such a canonicalization?

Good question.  I can imagine it being used in a few other "file-like"
completion tables (e.g. MH mailboxes), but it doesn't seem nearly as
useful.  There might also be some possible uses in a context of quoting
where it could return the string but quoted in a "canonical way"
(e.g. for file names, it could maybe double the lone `$` signs that
happen not to match any env-var, or add {...} around the env-vars), ...

But no, none of those are very compelling candidates.
For this reason, the current hack lives on.

> What do you mean by "providing a method"?

Nothing specific.


        Stefan





Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 7 Jun 2021 19:41:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 07 15:41:31 2021
Received: from localhost ([127.0.0.1]:56723 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1lqL7r-0007E0-0E
	for submit <at> debbugs.gnu.org; Mon, 07 Jun 2021 15:41:31 -0400
Received: from quimby.gnus.org ([95.216.78.240]:45762)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1lqL7o-0007Dj-Vn
 for control <at> debbugs.gnu.org; Mon, 07 Jun 2021 15:41:29 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc:
 MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
 Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc
 :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=vJeye6XMmn3GKx2hd+X9QTIOBnQvSq5IGcpy7iOsMrM=; b=AcNXO6xo5yxp8ecCOxpcDTntsE
 PSvrqPga9pVLxCfBJfAgSkyckIXUQn/VkAl/3e67+ebdmzpBvovH4gQq05k6IJ/+Luom6k0I5cufY
 UfVnypbDXUgPjfNgjC6MRrEsM7dmt9T6otoRk/eCw9xL9BHABsnwiZt3FP+33Y1fg5fM=;
Received: from cm-84.212.220.105.getinternet.no ([84.212.220.105] helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>) id 1lqL7Z-0007Ue-PD
 for control <at> debbugs.gnu.org; Mon, 07 Jun 2021 21:41:22 +0200
Date: Mon, 07 Jun 2021 21:41:13 +0200
Message-Id: <875yyppina.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #47678
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  tags 47678 - moreinfo quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

tags 47678 - moreinfo
quit






Last modified: Mon, 7 Jun 2021 19:45:02 UTC

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