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

Previous Next

Full log

View this message in rfc822 format

From: John Wiegley <jwiegley <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 27761 <at> debbugs.gnu.org, denis.redozubov <at> gmail.com
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 19 Jul 2017 13:47:49 -0400

This may be hard, but we'll try. It's 100% reproducible in both 25.1 and 25.2, but involves company-coq, Proof General, and some particular source files. 

If I gave you a Docker image within which we can reproduce the problem, could you run that?

John (from my iPhone)

On Jul 19, 2017, at 1:00 PM, Eli Zaretskii <eliz <at> gnu.org> wrote:

>> From: John Wiegley <jwiegley <at> gmail.com>
>> Date: Wed, 19 Jul 2017 09:08:16 -0400
>> Cc: 27761 <at> debbugs.gnu.org
>> 
>>>>>>> "ДР" == Денис Редозубов <denis.redozubov <at> gmail.com> writes:
>> 
>> ДР> Sometimes when I try to open documentation for a coq tactic with a
>> ДР> C-h(company-coq), emacs crashes on OS X. I can reproduce it with both 25.1
>> ДР> and GNU Emacs 25.2.1 (x86_64-apple-darwin15.0.0, NS appkit-1404.13 Version
>> ДР> 10.11.1 (Build 15B42)
>> 
>> Eli, I was with Denis when this bug occurred, so if there any further steps we
>> can take to track it down further, let me know and we can work on it together.
> 
> What I need is a reproducible recipe.  The crash looks like some
> infinite recursion in the display engine, but it's hard to do anything
> with this without knowing more, like what exactly was in the buffer at
> the position where redisplay loops.
> 
> Thanks.

Previous Next

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