aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-06-22 23:21:11 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-06-22 23:21:11 +0000
commitf3e17129b822c511f40578e39a471ce31cbde810 (patch)
tree346c968656e4e6ee7145ec4357bfdf9acd6e88dc /etc/isar
parente881578df75f2d714e750cf752fbdafaedd8a2c7 (diff)
Include bug report and observation about GNU Emacs
Diffstat (limited to 'etc/isar')
-rw-r--r--etc/isar/nesting-too-deep-for-parser.txt43
1 files changed, 42 insertions, 1 deletions
diff --git a/etc/isar/nesting-too-deep-for-parser.txt b/etc/isar/nesting-too-deep-for-parser.txt
index 00de2363..1d06d294 100644
--- a/etc/isar/nesting-too-deep-for-parser.txt
+++ b/etc/isar/nesting-too-deep-for-parser.txt
@@ -22,11 +22,18 @@ How deep is too deep?
(parse-partial-sexp 1 72319 20)
(parse-partial-sexp 1 72319 80)
(parse-partial-sexp 1 72319 99) -- gets to char 51927
- (parse-partial-sexp 1 72319 100) -- Gives error on XEmacs 21.4.15 !
+ (parse-partial-sexp 1 72319 100) -- Gives error on XEmacs 21.4.15
+ -- still on
+ Value: "21.5 (beta17) \"chayote\" (+CVS-20040622) XEmacs Lucid"
(parse-partial-sexp 1 72319 200) -- reaches end of this text at
depth 130 in Emacs 21.3.1
+In fact Emacs 21.3.1 isn't bothered by a buffer containing 40,000 left-parens.
+Bug report at bottom [23.6.04].
+
+-----------------
+
"$ISATOOL" document -c -o 'ps' '/tmp/isabelle-da4586/document' 2>&1
This is TeXk, Version 3.14159 (Web2C 7.4.5)
@@ -1576,3 +1583,37 @@ Overfull \hbox (240.89508pt too wide) in paragraph at lines 967--968
Output written on root.dvi (20 pages, 43848 bytes).
Transcript written on root.log.
request id is kyo-603 (1 file(s))
+
+
+=================================================================
+
+To: XEmacs Beta <xemacs-beta@xemacs.org>
+Subject: [Bug: 21.4.15] parse-partial-sexp gives stack overflow
+--text follows this line--
+================================================================
+Dear Bug Team!
+
+
+This bug/issue has been bothering me and (users of my Proof General
+package) for some time. I have just verified that with the current CVS
+version of XEmacs the same problem is still present.
+
+Test case:
+
+1. switch to *scratch*
+2. C-u 100 (
+3. Eval expression (parse-partial-sexp 1 (point-max))
+
+The symptom I get is "nesting too deep for parser" error messages.
+(These are triggered e.g. by font-lock-fontify-region on large regions which
+contained ill-balanced parens; I also use parse-partial-sexp
+elsewhere in the PG code because of problems with buffer-syntactic-context.
+
+I notice some old comments in font-lock.el concerning this issue.
+It might be worth looking at GNU Emacs implementation if these are
+really supposed to be equivalent functions: on GNU Emacs 21.3.1
+I tested a buffer containing 40000 left parens and parse-partial-sexp
+returned a result without missing a beat...
+
+
+================================================================