Opened 14 years ago

Closed 14 years ago

#327 closed defect (fixed)

Elisp stack overflow when retracting many files at once

Reported by: Makarius Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

This is Emacs 23.2.1 on Mac OS X (no-nonsense version), or GNU Emacs 23.1.1 on Ubuntu 9.10.

When retracting many files at once the Elisp stack can overflow, probably due to deep recursion (deep by the low standards of Elisp).

E.g. reproduce it as follows in Isabelle2009-2:

  • select "Pure" logic image
  • assert all of src/HOL/Plain.thy
  • open src/HOL/HOL.thy and retract

Backtrace is included here.

Attachments (1)

backtrace.gz​ (7.1 KB) - added by Makarius 14 years ago.
Backtrace after stackoverflow when retract many files at once

Download all attachments as: .zip

Change History (2)

Changed 14 years ago by Makarius

Attachment: backtrace.gz​ added

Backtrace after stackoverflow when retract many files at once

comment:1 Changed 14 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Hmm, thought I had fixed this already in #274. but forgot Emacs Lisp doesn't optimise tail recursion! Replaced with iterative version now.

Note: See TracTickets for help on using tickets.