GNU bug report logs - #27761
Crash while using proof-general/company-coq on OS X

Previous Next

Full log

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

From: YAMAMOTO Mitsuharu <mituharu <at> math.s.chiba-u.ac.jp>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 27761 <at> debbugs.gnu.org, jwiegley <at> gmail.com, charles <at> aurox.ch,
 denis.redozubov <at> gmail.com
Subject: Re: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Mon, 07 Aug 2017 15:16:08 +0900

>>>>> On Fri, 04 Aug 2017 11:24:59 +0300, Eli Zaretskii <eliz <at> gnu.org> said:

> But even if these band-aids do succeed in preventing the infinite
> recursion, I'd like to understand how did we arrive at the situation
> where the string position is 6 while the string being displayed is "
> 163", a 4-character string.  If you can step through the code and
> describe what you see, I think it will help to find the real
> culprit.

I managed to create a simple reproducible procedure for (probably
related) infinite recursion.

1. % emacs -Q
2. (setq bidi-redisplay-reordering nil) C-j
3. (prettify-symbols-mode) C-j
4. (linum-mode) C-j
5. Type "lambda" (without quotations).

I hope this is also reproducible on your environment.

			     YAMAMOTO Mitsuharu
			mituharu <at> math.s.chiba-u.ac.jp
 

Previous Next

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