[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27761: Crash while using proof-general/company-coq on OS X
From: |
YAMAMOTO Mitsuharu |
Subject: |
bug#27761: Crash while using proof-general/company-coq on OS X |
Date: |
Mon, 07 Aug 2017 15:16:08 +0900 |
User-agent: |
Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.8 (Shijō) APEL/10.6 Emacs/22.3 (sparc-sun-solaris2.8) MULE/5.0 (SAKAKI) |
>>>>> On Fri, 04 Aug 2017 11:24:59 +0300, Eli Zaretskii <eliz@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@math.s.chiba-u.ac.jp
- bug#27761: Crash while using proof-general/company-coq on OS X, (continued)
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/01
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/02
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/03
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/04
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/04
- bug#27761: Crash while using proof-general/company-coq on OS X,
YAMAMOTO Mitsuharu <=
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, John Wiegley, 2017/08/08
- bug#27761: Crash while using proof-general/company-coq on OS X, YAMAMOTO Mitsuharu, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/07
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/04
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/08/01