From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Anders Lindgren Newsgroups: gmane.emacs.devel Subject: Re: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop Date: Fri, 4 Mar 2016 21:23:53 +0100 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1143f394d0a2ac052d3ee481 X-Trace: ger.gmane.org 1457123042 424 80.91.229.3 (4 Mar 2016 20:24:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 4 Mar 2016 20:24:02 +0000 (UTC) To: John Wiegley , Emacs developers , =?UTF-8?B?Q2zDqW1lbnQgUGl0LS1DbGF1ZGVs?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Mar 04 21:24:01 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1abwGW-0003z9-O8 for ged-emacs-devel@m.gmane.org; Fri, 04 Mar 2016 21:24:00 +0100 Original-Received: from localhost ([::1]:43372 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1abwGW-00022o-4D for ged-emacs-devel@m.gmane.org; Fri, 04 Mar 2016 15:24:00 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57953) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1abwGR-00022U-RA for emacs-devel@gnu.org; Fri, 04 Mar 2016 15:23:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1abwGQ-00024s-GY for emacs-devel@gnu.org; Fri, 04 Mar 2016 15:23:55 -0500 Original-Received: from mail-vk0-x229.google.com ([2607:f8b0:400c:c05::229]:35025) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1abwGQ-00024m-9a; Fri, 04 Mar 2016 15:23:54 -0500 Original-Received: by mail-vk0-x229.google.com with SMTP id e6so65483434vkh.2; Fri, 04 Mar 2016 12:23:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to; bh=dy3SaPhUA2pNKrCNx3PlOMYtiQAWPPS4YdNAeJ28gWo=; b=pkIB54hV4HdQil1aG16pjdubJLrYb9dcoAQ5WyBbZZDtb6eQHXGakz2vOHtEO7J+Ey 10hntkg43INfrcn4S7mEKl3ODMGDieSU1SHssCJBQEy8NtTD6vntq1CpqxnMdtRNxYXs tLvj2c3ud/s0yepahLu4javC3yJ68gLw2hS2+kDPDqOXNbz6iZhKAqbFkLiT0QXh/R/o iNyGI3pZ1YZTzanNskjHCh4DMsKGwhExQtphBVaBap8nTHdJMW+JlKiedyuNDxsmcjDI 0XIN4nNBis/BJdNLjfGyMSnN+MWnUqu6T7eWlIVY7CuWUXz8oySK/zQyOEvrv65eAuNt lUyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to; bh=dy3SaPhUA2pNKrCNx3PlOMYtiQAWPPS4YdNAeJ28gWo=; b=DdGJYR6XnaFqx2TCB6aDbegaVDEShy7j4ilIONT1TnWgtKC4cbAky9/vGY1m0T4Hny nFLvFMqgKTofrm0W971k1hvljKPwNAWqQU1elCbJeIr6C3xeXicT5B2HLUJrctuJXYRX MElN9zvcn89p/A3UxbyY8dqo5NSAu8dqer5V+9Vj3TeIDRSMB21zhm86XlQDNb/1cJiI 7eYuDuJULtqnYYXvob9B40ZoGg0gv/oGQNyhcT5WKh6r03FOLgUSkOwtuhkNUnqs+BbU dn8lV1LHVmVIoOYso8zgDLR4rv56N4Sio9as+3P+6TMSSuVbJwHOlmK4YWSWgnN9NcyC eOzQ== X-Gm-Message-State: AD7BkJILWkOQXM2GpTy2qYarTXRay8Ut/3AWt+K258fQvCh27DR9S8F4PK+jrRIuggMVWJqkfnGCyYuPXYBGFQ== X-Received: by 10.31.173.18 with SMTP id w18mr6642829vke.31.1457123033651; Fri, 04 Mar 2016 12:23:53 -0800 (PST) Original-Received: by 10.31.214.131 with HTTP; Fri, 4 Mar 2016 12:23:53 -0800 (PST) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400c:c05::229 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:200921 Archived-At: --001a1143f394d0a2ac052d3ee481 Content-Type: text/plain; charset=UTF-8 HI! I'm not a Coq/Proof General user but I'm interested in taking a look at this (even if I can't promise a fast response). However, I would need a recipe, including where to get and how to install the external programs, and the steps you take in Emacs to reproduce the problem. -- Anders On Fri, Mar 4, 2016 at 8:59 PM, John Wiegley wrote: > I just wanted to put out a general call to other developers for some eyes > on > this bug, since it occurs in the 25.1 release candidate, and I will not be > able to upgrade to Emacs 25 until it is fixed (it prevents me from getting > actual work done). > > I'm not sure how many other Coq/Proof General users we have here, and who > also > use OS X, but maybe someone would be willing to pair debug with me? From > the > outside, it looks like a process communication issue, because the same > versions of PG and Coq work just fine with Emacs 24.5 (the Mac port > variant). > But at this point I fear it could be anything. > > Thanks, > -- > John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F > http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 > --001a1143f394d0a2ac052d3ee481 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
HI!

I'm not a Coq/Proof General use= r but I'm interested in taking a look at this (even if I can't prom= ise a fast response).

However, I would need a reci= pe, including where to get and how to install the external programs, and th= e steps you take in Emacs to reproduce the problem.

=C2=A0 =C2=A0 -- Anders

On Fri, Mar 4, 2016 at 8:59 PM, John Wiegley = <jwiegley@gmail.= com> wrote:
I just wanted t= o put out a general call to other developers for some eyes on
this bug, since it occurs in the 25.1 release candidate, and I will not be<= br> able to upgrade to Emacs 25 until it is fixed (it prevents me from getting<= br> actual work done).

I'm not sure how many other Coq/Proof General users we have here, and w= ho also
use OS X, but maybe someone would be willing to pair debug with me? From th= e
outside, it looks like a process communication issue, because the same
versions of PG and Coq work just fine with Emacs 24.5 (the Mac port variant= ).
But at this point I fear it could be anything.

Thanks,
--
John Wiegley=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = GPG fingerprint =3D 4710 CF98 AF9B 327B B80F
htt= p://newartisans.com=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 60E1 46C4 BD1A 7AC1 4BA2

--001a1143f394d0a2ac052d3ee481--