all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop
@ 2016-03-01  2:02 John Wiegley
  2016-03-04 19:55 ` John Wiegley
  0 siblings, 1 reply; 16+ messages in thread
From: John Wiegley @ 2016-03-01  2:02 UTC (permalink / raw)
  To: 22865

I'm afraid this could be difficult to debug, but here is my scenario:

 1. Open a .v (Coq) file within my project.

 2. Ask Proof General to evaluate the file to the end.

 3. Before a certain definition, PG will hang waiting on a response from
    "coqtop", the evaluator. Checking the process list shows that this
    process is not doing anything.

 4. Once this happens, C-g or C-c C-c to abort the evaluation leaves me
    in a broken state where nothing can evaluate anymore. The only
    recourse is to "killall coqtop", and then attempt the evaluation
    again. However, the same definition always causes it to hang. There
    is no common factor about the definitions that I can see, but it
    happens reliably every time for each file where it does occur.

if I switch to 24.5, everything evaluates fine. It happens quite
frequently with emacs-25, but never with 24.5.

Now, this could be 25.1, or it could be Mac port vs. NeXTstep, or it
could be some other subtle interaction with my environment.

Unfortunately this will take time to narrow down, and I have to get the
Coq code written, so for now this is a placeholder and I must revert to
using 24.5. I hope to come back to this later, especially if others have
ideas on where to look.

John





^ permalink raw reply	[flat|nested] 16+ messages in thread

end of thread, other threads:[~2016-03-06 13:03 UTC | newest]

Thread overview: 16+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-03-01  2:02 bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop John Wiegley
2016-03-04 19:55 ` John Wiegley
2016-03-04 19:59   ` John Wiegley
2016-03-04 20:23     ` Anders Lindgren
2016-03-04 21:03       ` John Wiegley
2016-03-04 21:54         ` Anders Lindgren
2016-03-04 20:24     ` Clément Pit--Claudel
2016-03-05  0:33     ` YAMAMOTO Mitsuharu
2016-03-05 17:12       ` Wolfgang Jenkner
2016-03-05 17:22       ` Paul Eggert
2016-03-05 17:41         ` Clément Pit--Claudel
2016-03-05 19:49           ` Paul Eggert
2016-03-06  4:53             ` John Wiegley
2016-03-06 13:03           ` Wolfgang Jenkner
2016-03-04 20:25   ` Clément Pit--Claudel
2016-03-04 21:04     ` John Wiegley

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.