GNU bug report logs - #30132
27.0.50; scan-sexps and ##

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 30132 in the body.
You can then email your comments to 30132 AT debbugs.gnu.org in the normal way.

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

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

From: Michael Heerdegen <michael_heerdegen <at> web.de>
To: bug-gnu-emacs <at> gnu.org
Subject: 27.0.50; scan-sexps and ##
Date: Mon, 15 Jan 2018 19:09:43 +0100

Hello,

Insert into *scratch*

  (list ##)

and put point at the beginning of "##".  Then eval M-:

  (goto-char (scan-sexps (point) 1))

and you get

| Debugger entered--Lisp error: (scan-error "Containing expression ends prematurely" 154 155)
|   scan-sexps(152 1)
|   (goto-char (scan-sexps (point) 1))
|   eval((goto-char (scan-sexps (point) 1)) t)
|   eval-expression((goto-char (scan-sexps (point) 1)) nil nil 127)
|   funcall-interactively(eval-expression (goto-char (scan-sexps (point) 1)) nil nil 127)
|   call-interactively(eval-expression nil nil)
|   command-execute(eval-expression)

Expected is that the scan doesn't fail.

## is the rarely used representation of an interned symbol named with
the empty string.  My problem is that where it is used (like in
"org-list.el"), el-search.el gets into trouble.


Thanks in advance,

Michael.


In GNU Emacs 27.0.50 (build 17, x86_64-pc-linux-gnu, GTK+ Version 3.22.26)
 of 2018-01-15 built on drachen
Repository revision: 55a83102629d597eb172e91698578930ff193c5d
Windowing system distributor 'The X.Org Foundation', version 11.0.11905000
System Description: Debian GNU/Linux testing (buster)

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

From: Michael Heerdegen <michael_heerdegen <at> web.de>
To: 30132 <at> debbugs.gnu.org
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Mon, 12 Feb 2018 17:12:06 +0100

Michael Heerdegen <michael_heerdegen <at> web.de> writes:

> Hello,
>
> Insert into *scratch*
>
>   (list ##)
>
> and put point at the beginning of "##".

BTW, this is not the only kind of situation where `scan-sexps' can error
for expressions containing ##.  In particular, point doesn't necessarily
need to be directly before "##" for the problem to occur.


Michael.

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Noam Postavsky <npostavs <at> gmail.com>
Cc: 30132 <at> debbugs.gnu.org, Shigeru Fukaya <shigeru.fukaya <at> gmail.com>,
 Stefan Monnier <monnier <at> iro.umontreal.ca>, 15998 <at> debbugs.gnu.org
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Fri, 06 May 2022 17:50:43 +0200

Noam Postavsky <npostavs <at> gmail.com> writes:

> * elisp-mode.el (elisp-mode-syntax-propertize): New function.
> (emacs-lisp-mode): Set it as syntax-propertize-function.

I've tried the patch, and it seems to work well.  However, it makes
edebug-tests-dotted-forms hang completely, and breaks other edebug
tests.

I've poked at this briefly, but I've been unable to see what makes
things hang here.  It would be nice to get this to work -- did you get
any further in debugging these test problems, Noam?

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

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Noam Postavsky <npostavs <at> gmail.com>
Cc: 30132 <at> debbugs.gnu.org, 15998 <at> debbugs.gnu.org,
 Stefan Monnier <monnier <at> iro.umontreal.ca>,
 Shigeru Fukaya <shigeru.fukaya <at> gmail.com>
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Fri, 06 May 2022 18:30:28 +0200

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> I've poked at this briefly, but I've been unable to see what makes
> things hang here.  It would be nice to get this to work -- did you get
> any further in debugging these test problems, Noam?

The offending bit was this:

(seq (group-n 1 (+ digit) "="))     ; Object label.

Which is something that should never appear in Lisp files anyway.  The
rest seem unproblematic (except possible performance problems), but
after testing it for a few minutes, I don't really see anything
noticeable.

So I'm pushing Noam's patch to Emacs 29 (with that object label thing
removed).

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

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

From: Michael Heerdegen <michael_heerdegen <at> web.de>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 30132 <at> debbugs.gnu.org, Shigeru Fukaya <shigeru.fukaya <at> gmail.com>,
 Noam Postavsky <npostavs <at> gmail.com>, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 15998 <at> debbugs.gnu.org
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Sat, 07 May 2022 02:08:36 +0200

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Lars Ingebrigtsen <larsi <at> gnus.org> writes:
>
> > I've poked at this briefly, but I've been unable to see what makes
> > things hang here.  It would be nice to get this to work -- did you get
> > any further in debugging these test problems, Noam?
>
> The offending bit was this:
>
> (seq (group-n 1 (+ digit) "="))     ; Object label.

I wonder why.

> Which is something that should never appear in Lisp files anyway.
> [...]
> So I'm pushing Noam's patch to Emacs 29 (with that object label thing
> removed).

Thanks.  My original use case seems to be fixed.

Michael.

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

From: Michael Heerdegen <michael_heerdegen <at> web.de>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 30132 <at> debbugs.gnu.org, 15998 <at> debbugs.gnu.org,
 Noam Postavsky <npostavs <at> gmail.com>, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 Shigeru Fukaya <shigeru.fukaya <at> gmail.com>
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Sat, 07 May 2022 06:05:07 +0200

Michael Heerdegen <michael_heerdegen <at> web.de> writes:

> > The offending bit was this:
> >
> > (seq (group-n 1 (+ digit) "="))     ; Object label.
>
> I wonder why.

Dunno how the Edebug tests are supposed to run...:  When I load
edebug-tests.el and run those tests with M-x ert-run-tests-interactively
t RET, I always get lots of fails - also with what is installed now (and
even without the patch).

Michael.

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Michael Heerdegen <michael_heerdegen <at> web.de>
Cc: 30132 <at> debbugs.gnu.org, 15998 <at> debbugs.gnu.org,
 Noam Postavsky <npostavs <at> gmail.com>, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 Shigeru Fukaya <shigeru.fukaya <at> gmail.com>
Subject: Re: bug#30132: 27.0.50; scan-sexps and ##
Date: Sat, 07 May 2022 12:17:32 +0200

Michael Heerdegen <michael_heerdegen <at> web.de> writes:

> Dunno how the Edebug tests are supposed to run...:  When I load
> edebug-tests.el and run those tests with M-x ert-run-tests-interactively
> t RET, I always get lots of fails - also with what is installed now (and
> even without the patch).

I run them with "make check" or "make edebug-tests".  

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

Previous Next

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