GNU bug report logs - #77744
31.0.50; Inconsistent error signal in up-list-default-function and treesit-up-list

Previous Next

To reply to this bug, email your comments to 77744 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Roman Rudakov <rrudakov <at> fastmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 31.0.50; Inconsistent error signal in up-list-default-function and
 treesit-up-list
Date: Fri, 11 Apr 2025 16:27:00 +0200

In Tree-sitter-based major modes, when up-list (or backward-up-list) 
is used, the operation is delegated to the treesit-up-list 
function. In traditional major modes, this is typically handled by 
up-list-default-function if a custom up-list-function is not 
defined. When the top level is reached, up-list-default-function 
signals scan-error, but treesit-up-list signals user-error.

This inconsistency may introduce bugs in packages that rely on the 
behavior of the up-list function 
(https://github.com/clojure-emacs/cider/issues/3791).


In GNU Emacs 31.0.50 (build 1, aarch64-apple-darwin24.3.0, NS
appkit-2575.40 Version 15.3.2 (Build 24D81)) of 2025-04-03 built on
macbookpro.home
Windowing system distributor 'Apple', version 10.3.2575
System Description:  macOS 15.4

Configured using:
'configure --disable-dependency-tracking --disable-silent-rules
--enable-locallisppath=/opt/homebrew/share/emacs/site-lisp
--infodir=/opt/homebrew/Cellar/emacs-plus <at> 31/31.0.50/share/info/emacs
--prefix=/opt/homebrew/Cellar/emacs-plus <at> 31/31.0.50
--with-native-compilation=aot --with-xml2 --with-gnutls
--without-compress-install --without-dbus --without-imagemagick
--with-modules --with-rsvg --with-webp --without-pop --with-ns
--disable-ns-self-contained 'CFLAGS=-O2 -DFD_SETSIZE=10000
-DDARWIN_UNLIMITED_SELECT -I/opt/homebrew/opt/sqlite/include
-I/opt/homebrew/opt/gcc/include 
-I/opt/homebrew/opt/libgccjit/include'
'LDFLAGS=-L/opt/homebrew/opt/sqlite/lib -L/opt/homebrew/lib/gcc/14
-I/opt/homebrew/opt/gcc/include 
-I/opt/homebrew/opt/libgccjit/include''
Configured features:
ACL GIF GLIB GMP GNUTLS JPEG LCMS2 LIBXML2 MODULES NATIVE_COMP NOTIFY
KQUEUE NS PDUMPER PNG RSVG SQLITE3 THREADS TIFF TOOLKIT_SCROLL_BARS
TREE_SITTER WEBP XIM ZLIB
Important settings:
 value of $LANG: en_US.UTF-8
 locale-coding-system: utf-8-unix

Major mode: Elisp/l

Minor modes in effect:
 global-git-commit-mode: t
 magit-auto-revert-mode: t
 telega-root-auto-fill-mode: t
 telega-contact-birthdays-mode: t
 telega-active-video-chats-mode: t
 telega-active-locations-mode: t
 telega-patrons-mode: t
 telega-active-stories-mode: t
 idle-highlight-mode: t
 subword-mode: t
 yas-minor-mode: t
 hl-todo-mode: t
 flymake-mode: t
 server-mode: t
 pdf-occur-global-minor-mode: t
 mu4e-column-faces-mode: t
 mu4e-modeline-mode: t
 auto-insert-mode: t
 electric-pair-mode: t
 org-roam-db-autosync-mode: t
 outline-minor-mode: t
 minions-mode: t
 repeat-mode: t
 save-place-mode: t
 minibuffer-electric-default-mode: t
 savehist-mode: t
 recentf-mode: t
 global-auto-revert-mode: t
 global-hl-line-mode: t
 apheleia-mode: t
 global-eldoc-mode: t
 eldoc-mode: t
 show-paren-mode: t
 electric-indent-mode: t
 mouse-wheel-mode: t
 tab-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
 window-divider-mode: t
 minibuffer-regexp-mode: t
 column-number-mode: t
 line-number-mode: t
 transient-mark-mode: t
 auto-composition-mode: t
 auto-encryption-mode: t
 auto-compression-mode: t
 hs-minor-mode: t

Load-path shadows:
/Users/rrudakov/.config/emacs/elpa/ef-themes-1.9.0/theme-loaddefs 
hides 
/Users/rrudakov/.config/emacs/elpa/modus-themes-4.6.0/theme-loaddefs
/Users/rrudakov/.config/emacs/elpa/magit-4.3.2/magit-autorevert hides 
/Users/rrudakov/.config/emacs/elpa/magit-section-4.3.2/magit-autorevert
/Users/rrudakov/.config/emacs/elpa/password-store-20231201.954/password-store 
hides /opt/homebrew/share/emacs/site-lisp/pass/password-store
/Users/rrudakov/.config/emacs/elpa/transient-0.8.7/transient hides 
/opt/homebrew/Cellar/emacs-plus <at> 31/31.0.50/share/emacs/31.0.50/lisp/transient
/Users/rrudakov/.config/emacs/elpa/ef-themes-1.9.0/theme-loaddefs 
hides 
/opt/homebrew/Cellar/emacs-plus <at> 31/31.0.50/share/emacs/31.0.50/lisp/theme-loaddefs

Features:
(shadow gnus-cus gnus-demon gnus-diary nndiary gnus-draft nndraft nnmh
gnus-fun gnus-html url-queue mm-url gnus-kill gnus-logic gnus-mh 
mh-comp
mh-scan mh-gnus mh-e mh-buffers mh-loaddefs gnus-registry registry
eieio-base rmailsum rmail gnus-salt gnus-topic gnus-uu yenc gnus-vm
cl-print help-fns radix-tree apheleia apheleia-rcs apheleia-dp
apheleia-formatters apheleia-utils apheleia-log
apheleia-formatter-context magit-bookmark magit-submodule magit-blame
magit-stash magit-reflog magit-bisect magit-push magit-pull 
magit-fetch
magit-clone magit-remote magit-commit magit-sequence magit-notes
magit-worktree magit-tag magit-merge magit-branch magit-reset
magit-files magit-refs magit-status magit magit-repos magit-apply
magit-wip magit-log which-func magit-diff smerge-mode diff git-commit
log-edit pcvs-util magit-core magit-autorevert magit-margin
magit-transient magit-process with-editor magit-mode benchmark 
magit-git
magit-base face-remap misearch multi-isearch telega-obsolete telega
telega-tdlib-events telega-match telega-root telega-info telega-chat
telega-modes telega-company telega-emoji telega-user
telega-notifications telega-voip telega-msg telega-story 
telega-webpage
visual-fill-column telega-tme telega-sticker telega-vvnote bindat
telega-ffplay telega-i18n telega-sort telega-filter telega-ins
telega-inline telega-util telega-folders telega-topic telega-media
telega-tdlib dired-aux ewoc telega-server telega-core telega-customize
emacsbug ox-org sql-indent sql vc-git diff-mode track-changes view 
alert
log4e gntp gnus-async gnus-agent gnus-srvr gnus-score score-mode
nnvirtual nntp gnus-ml nndoc gnus-cache gnus-dup network-stream
url-cache display-line-numbers debbugs-gnu add-log debbugs soap-client
rng-xsd xsd-regexp debbugs-compat debbugs-browse qp sort smiley
gnus-cite mm-archive mail-extr textsec uni-scripts idna-mapping
uni-confusable textsec-check clojure-ts-mode flymake-kondor 
clj-refactor
hydra lv inflections mc-hide-unmatched-lines-mode mc-mark-more 
sgml-mode
mc-cycle-cursors multiple-cursors-core rect paredit cider tramp-sh
cider-debug cider-browse-ns cider-mode cider-xref-backend cider-find
cider-completion cider-profile cider-inspector cider-eval cider-jar
arc-mode archive-mode cider-repl-history pulse cider-repl 
cider-resolve
cider-test cider-overlays cider-stacktrace cider-doc cider-browse-spec
cider-clojuredocs cider-eldoc cider-docstring cider-client 
cider-common
xref cider-completion-context cider-connection cider-popup
sesman-browser nrepl-client cider-util tramp trampver 
tramp-integration
tramp-message tramp-compat tramp-loaddefs sesman queue nrepl-dict
spinner parseedn parseclj-parser parseclj-lex parseclj-alist
clojure-mode align idle-highlight-mode cap-words superword subword
hideshow yasnippet ef-maris-dark-theme ef-themes cus-start hl-todo
checkdoc lisp-mnt flymake server github org-git ghub-graphql treepy
gsexp ghub url-http url-gw nsm url-auth google-translate-smooth-ui
google-translate-core-ui facemenu color popup google-translate-core
google-translate-backend use-package-ensure pdf-occur tablist
tablist-filter semantic/wisent/comp semantic/wisent
semantic/wisent/wisent semantic/util-modes semantic/util semantic
semantic/tag semantic/lex semantic/fw mode-local cedet pdf-isearch
let-alist pdf-misc pdf-tools pdf-view jka-compr pdf-cache pdf-info tq
pdf-util pdf-macs image-mode exif ob-restclient restclient
mu4e-column-faces mu4e-icalendar gnus-icalendar icalendar mu4e 
mu4e-org
mu4e-notification notifications mu4e-main smtpmail mu4e-view
mu4e-mime-parts mu4e-headers mu4e-thread mu4e-actions mu4e-compose
mu4e-draft gnus-msg mu4e-search mu4e-lists mu4e-bookmarks mu4e-mark
mu4e-message flow-fill mu4e-contacts mu4e-update mu4e-folders
mu4e-context mu4e-query-items mu4e-server mu4e-modeline mu4e-vars
mu4e-helpers mu4e-config mu4e-window bookmark ido mu4e-obsolete
yaml-ts-mode dockerfile-ts-mode rust-ts-mode typescript-ts-mode js
c-ts-common imenu cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles
cc-align cc-engine cc-vars cc-defs vlf-setup vlf vlf-base vlf-tune
autoinsert rg files-x vc vc-dispatcher rg-info-hack rg-menu transient
edmacro kmacro rg-ibuffer rg-result wgrep-rg wgrep rg-history 
rg-header
ibuf-ext ibuffer ibuffer-loaddefs grep compile elec-pair
emacsql-sqlite-builtin org-roam-migrate org-roam-log org-roam-mode
org-roam-capture org-roam-id org-roam-node crm org-roam-db
org-roam-utils org-roam-compat org-roam org-capture emacsql-sqlite
emacsql emacsql-compiler magit-section cursor-sensor llama comp
comp-cstr dash async ob-async ob-plantuml ob-ditaa ob-clojure 
ob-haskell
ob-sqlite ob-shell shell ob-sql ob-python python project org-clock 
appt
diary-lib diary-loaddefs org-duration comp-run comp-common flyspell
ispell oc-basic bibtex disp-table ol-info ol-gnus nnselect gnus-art
mm-uu mml2015 mm-view mml-smime smime gnutls dig gnus-sum
shr-tag-pre-highlight language-detection shr pixel-fill kinsoku 
url-file
svg dom gnus-group gnus-undo gnus-start gnus-dbus dbus xml gnus-cloud
nnimap nnmail mail-source utf7 nnoo parse-time iso8601 gnus-spec
gnus-int gnus-range message sendmail yank-media puny dired
dired-loaddefs rfc822 mml mml-sec epa epg rfc6068 epg-config mm-decode
mm-bodies mm-encode mail-parse rfc2231 rfc2047 rfc2045 ietf-drums
mailabbrev gmm-utils mailheader gnus-win gnus nnheader gnus-util
mail-utils range mm-util mail-prsvr ox-gfm ox-md ox-odt rng-loc 
rng-uri
rng-parse rng-match rng-dt rng-util rng-pttrn nxml-parse nxml-ns
nxml-enc xmltok nxml-util ox-latex ox-icalendar ox-html table ox-ascii
ox-publish ox org-attach org-agenda org-element org-persist org-id
org-element-ast inline avl-tree generator org-refile org ob ob-tangle
ob-ref ob-lob ob-table ob-exp org-macro org-src sh-script smie treesit
shortdoc text-property-search derived executable ob-comint 
org-pcomplete
pcomplete org-list org-footnote org-faces org-entities time-date
noutline outline org-version ob-emacs-lisp ob-core ob-eval org-cycle
org-table org-keys oc org-loaddefs thingatpt find-func cal-menu 
calendar
cal-loaddefs ol org-fold org-fold-core org-compat org-macs format-spec
exec-path-from-shell minions compat warnings repeat hippie-exp comint
ansi-osc ansi-color ring advice saveplace minibuf-eldef savehist 
recentf
tree-widget cl-extra help-mode autorevert filenotify use-package-core
hl-line finder-inf add-node-modules-path-autoloads alert-autoloads
apheleia-autoloads easy-mmode auctex-autoloads tex-site
buttercup-autoloads clj-refactor-autoloads cider-autoloads
clojure-mode-autoloads clojure-ts-mode-autoloads csv-mode-autoloads
debbugs-autoloads dired-git-info-autoloads dired-subtree-autoloads
dired-hacks-utils-autoloads dtrt-indent-autoloads
edit-indirect-autoloads ef-themes-autoloads eldev-autoloads
elfeed-autoloads emacs-everywhere-autoloads emmet-mode-autoloads
exec-path-from-shell-autoloads expand-region-autoloads
flymake-kondor-autoloads flyspell-correct-autoloads ghub-autoloads
git-link-autoloads gitignore-templates-autoloads gntp-autoloads
google-c-style-autoloads google-translate-autoloads
groovy-mode-autoloads haskell-mode-autoloads hl-todo-autoloads
hydra-autoloads idle-highlight-mode-autoloads inflections-autoloads
log4e-autoloads logview-autoloads datetime-autoloads extmap-autoloads
lua-mode-autoloads lv-autoloads magit-autoloads pcase
markdown-mode-autoloads minions-autoloads modus-themes-autoloads
mu4e-column-faces-autoloads multiple-cursors-autoloads
nginx-mode-autoloads nov-autoloads esxml-autoloads kv-autoloads
ob-async-autoloads async-autoloads ob-restclient-autoloads
org-roam-autoloads magit-section-autoloads llama-autoloads
emacsql-autoloads org-tree-slide-autoloads ox-jira-autoloads
ox-slack-autoloads ox-gfm-autoloads paredit-autoloads 
parseedn-autoloads
parseclj-autoloads password-store-otp-autoloads 
password-store-autoloads
pdf-tools-autoloads pip-requirements-autoloads pkgbuild-mode-autoloads
plantuml-mode-autoloads dash-autoloads popup-autoloads 
pyvenv-autoloads
queue-autoloads rainbow-mode-autoloads restclient-autoloads 
rg-autoloads
s-autoloads sesman-autoloads shr-tag-pre-highlight-autoloads
language-detection-autoloads sly-autoloads spinner-autoloads
sql-indent-autoloads ssh-config-mode-autoloads rx tablist-autoloads
telega-autoloads transient-autoloads treepy-autoloads
vimrc-mode-autoloads visual-fill-column-autoloads vlf-autoloads
web-mode-autoloads wgrep-autoloads info with-editor-autoloads
yasnippet-autoloads package browse-url xdg url url-proxy url-privacy
url-expand url-methods url-history url-cookie generate-lisp-file
url-domsuf url-util mailcap url-handlers url-parse auth-source cl-seq
eieio eieio-core cl-macs password-cache json subr-x map byte-opt gv
bytecomp byte-compile url-vars cus-edit pp cus-load icons wid-edit
cl-loaddefs cl-lib rmc iso-transl tooltip cconv eldoc paren electric
uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel
term/ns-win ns-win ucs-normalize mule-util term/common-win tool-bar 
dnd
fontset image regexp-opt fringe tabulated-list replace newcomment
text-mode lisp-mode prog-mode register page tab-bar menu-bar 
rfn-eshadow
isearch easymenu timer select scroll-bar mouse jit-lock font-lock 
syntax
font-core term/tty-colors frame minibuffer nadvice seq simple 
cl-generic
indonesian philippine 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 emoji-zwj charscript charprop case-table epa-hook
jka-cmpr-hook help abbrev obarray oclosure cl-preloaded button 
loaddefs
theme-loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget 
keymap
hashtable-print-readable backquote threads kqueue cocoa ns lcms2
multi-tty make-network-process tty-child-frames native-compile emacs)

Memory information:
((conses 16 1532343 321473) (symbols 48 72211 121)
(strings 32 415017 18673) (string-bytes 1 13005335)
(vectors 16 318277) (vector-slots 8 3150439 211695)
(floats 8 92555 8979) (intervals 56 43544 9466) (buffers 992 53))

-- 
Best regards, Roman

Message #8 received at 77744 <at> debbugs.gnu.org (full text, mbox):

From: Roman Rudakov <rrudakov <at> fastmail.com>
To: help-debbugs <at> gnu.org (GNU bug Tracking System)
Cc: 77744 <at> debbugs.gnu.org
Subject: Re: bug#77744: Acknowledgement (31.0.50; Inconsistent error signal
 in up-list-default-function and treesit-up-list)
Date: Fri, 11 Apr 2025 16:33:14 +0200

help-debbugs <at> gnu.org (GNU bug Tracking System) writes:

Small clarification, scan-error is signaled when 
up-list-default-function is called non-interactively, treesit-up-list 
always signals user-error.
--
Best regards, Roman

Message #11 received at 77744 <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: Roman Rudakov <rrudakov <at> fastmail.com>
Cc: Stefan Monnier <monnier <at> iro.umontreal.ca>, 77744 <at> debbugs.gnu.org
Subject: Re: bug#77744: 31.0.50; Inconsistent error signal in
 up-list-default-function and treesit-up-list
Date: Fri, 11 Apr 2025 19:25:17 +0300

> In Tree-sitter-based major modes, when up-list (or backward-up-list) is
> used, the operation is delegated to the treesit-up-list function. In
> traditional major modes, this is typically handled by
> up-list-default-function if a custom up-list-function is not defined. When
> the top level is reached, up-list-default-function signals scan-error, but
> treesit-up-list signals user-error.

This is because 'up-list-default-function' signals both:

  (if no-syntax-crossing
      ;; Assume called interactively; don't signal an error.
      (user-error "At top level")
    (signal (car err) (cdr err)))

Message #14 received at 77744 <at> debbugs.gnu.org (full text, mbox):

From: Roman Rudakov <rrudakov <at> fastmail.com>
To: Juri Linkov <juri <at> linkov.net>
Cc: Stefan Monnier <monnier <at> iro.umontreal.ca>, 77744 <at> debbugs.gnu.org
Subject: Re: bug#77744: 31.0.50; Inconsistent error signal in
 up-list-default-function and treesit-up-list
Date: Fri, 11 Apr 2025 18:30:30 +0200

Juri Linkov <juri <at> linkov.net> writes:

>> In Tree-sitter-based major modes, when up-list (or 
>> backward-up-list) is
>> used, the operation is delegated to the treesit-up-list 
>> function. In
>> traditional major modes, this is typically handled by
>> up-list-default-function if a custom up-list-function is not 
>> defined. When
>> the top level is reached, up-list-default-function signals 
>> scan-error, but
>> treesit-up-list signals user-error.
>
> This is because 'up-list-default-function' signals both:
>
>   (if no-syntax-crossing
>       ;; Assume called interactively; don't signal an error.
>       (user-error "At top level")
>     (signal (car err) (cdr err)))
Yes, I forgot to mention it in the initial report. 'scan-error' is 
signaled by 'up-list-default-function' when it's called 
non-interactively, but 'treesit-up-list' signals 'user-error' in this 
case.
--
Best regards, Roman

Previous Next

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