From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.bugs Subject: bug#27761: Crash while using proof-general/company-coq on OS X Date: Mon, 07 Aug 2017 16:06:01 -0700 Message-ID: References: <68f0bd6c-1ad8-3c52-c5cc-2655600cef4d@aurox.ch> <83379g4bso.fsf@gnu.org> <837eyq3bch.fsf@gnu.org> <5ddb802a-7c0c-bf0b-ec85-6ed19e5ea7df@aurox.ch> <83mv7jyuek.fsf@gnu.org> <83efstzxhu.fsf@gnu.org> <83bmnvyc2s.fsf@gnu.org> <83a83btgee.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1502147252 840 195.159.176.226 (7 Aug 2017 23:07:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 7 Aug 2017 23:07:32 +0000 (UTC) User-Agent: Gnus/5.130016 (Ma Gnus v0.16) Emacs/25.2.50 (darwin) Cc: 27761@debbugs.gnu.org, charles@aurox.ch, denis.redozubov@gmail.com To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Aug 08 01:07:18 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1der7B-0007pa-Jh for geb-bug-gnu-emacs@m.gmane.org; Tue, 08 Aug 2017 01:07:13 +0200 Original-Received: from localhost ([::1]:39921 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1der7H-0001VZ-LO for geb-bug-gnu-emacs@m.gmane.org; Mon, 07 Aug 2017 19:07:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59456) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1der75-0001T0-Cd for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 19:07:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1der70-00014T-HJ for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 19:07:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:42190) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1der70-00014J-Dn for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 19:07:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1der70-0004ry-2h for bug-gnu-emacs@gnu.org; Mon, 07 Aug 2017 19:07:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: John Wiegley Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 07 Aug 2017 23:07:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 27761 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 27761-submit@debbugs.gnu.org id=B27761.150214719318685 (code B ref 27761); Mon, 07 Aug 2017 23:07:02 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 7 Aug 2017 23:06:33 +0000 Original-Received: from localhost ([127.0.0.1]:50871 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1der6X-0004rI-28 for submit@debbugs.gnu.org; Mon, 07 Aug 2017 19:06:33 -0400 Original-Received: from mail-pg0-f44.google.com ([74.125.83.44]:35900) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1der6V-0004r3-AP for 27761@debbugs.gnu.org; Mon, 07 Aug 2017 19:06:31 -0400 Original-Received: by mail-pg0-f44.google.com with SMTP id v77so7075615pgb.3 for <27761@debbugs.gnu.org>; Mon, 07 Aug 2017 16:06:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:mime-version; bh=qNiSLnbnbyt2pLpfv/aMp+kLRKgVbcqxldtv4/FKa3s=; b=QL2773GnDkOcYsZ0vgntLXv33LzKFrzWHWKw0+R47xp4gi64N09QD5XwoFbZelRhwU tqoFsTRfF2qeDhvcLEZJYLnny/0NGrS8bbB9cumj8gblm4wRj3zKIwVjlDfHWmlFPIEB /0+MDVDfsEUlwZC/dodEHOuGghGxVzFRwH3HnKUxZSnbsKo7YU4pELQZH7m8IK9jU5yw D0LdvjE1YWbLdwSj4Ze9mjQ9wfZ1OdjzsCrVRwlAQhUyKcvUIW7vSDWbqbBPYG9skVHH mYIEltM0FDA4xsQkQMFweNdXm3DKhyrSpV0JNSTpwhQNwmlXgpUsfYhC/09IQszrwUGC GfOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:mime-version; bh=qNiSLnbnbyt2pLpfv/aMp+kLRKgVbcqxldtv4/FKa3s=; b=sqQIusb0gTdI8jUekBbsCXTVyt7x6vmcAXAhtkz3qoQ5y6Rk/uDZygZwbTjv2LJHEU miazPUYz2JlpcB+aStNa4mCnm1/8BqRw2w/wAJAXjXUkI+99Ja7O1UhU+cGT4jO1MAMm UmhasV88TrKp/t39HDp2a87FuoTmoCJn4MKG5XEPTsAWR9CJpovayXL2N9E76L6HRWxr Sjft5O+ovhz4Awx5B+vJmXiDWuaI08d7sIlHGViC6lDGOTL/CwwfpYiXcKS0bFusLhZN Rsj7zy3ye1pTkn6HFvSLar3r0EjAmCtjeNo3H17nXCpZNNNrMDOnz2QB0Nud3e3a/iMo Pp0Q== X-Gm-Message-State: AHYfb5ivHDTiwtRLICjx3fJ5mMilV2ysDh4o2pno74pzpp1J003Gw8cs +Wk5xG7ezXNB+w== X-Received: by 10.98.72.133 with SMTP id q5mr2261475pfi.324.1502147185296; Mon, 07 Aug 2017 16:06:25 -0700 (PDT) Original-Received: from Vulcan.local (76-234-69-149.lightspeed.frokca.sbcglobal.net. [76.234.69.149]) by smtp.gmail.com with ESMTPSA id f80sm14816872pfd.115.2017.08.07.16.06.22 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 07 Aug 2017 16:06:22 -0700 (PDT) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id 4B9EE77F491B; Mon, 7 Aug 2017 16:06:21 -0700 (PDT) In-Reply-To: <83a83btgee.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 07 Aug 2017 20:51:53 +0300") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:135555 Archived-At: >>>>> Eli Zaretskii writes: > For the benefit of those who are still using Emacs 25, the patch is below > (it will probably apply with some offset and/or fuzz to the Emacs 25 > codebase). Do we want to cherry-pick this into the emacs-25 branch? -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2