[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: |
John Wiegley |
Subject: |
bug#27761: Crash while using proof-general/company-coq on OS X |
Date: |
Wed, 19 Jul 2017 14:34:15 -0400 |
User-agent: |
Gnus/5.130016 (Ma Gnus v0.16) Emacs/25.2.50 (darwin) |
>>>>> Eli Zaretskii <eliz@gnu.org> writes:
>> 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.
> Aren't those available for reproducing on another machine?
Sure, if you're willing to install them, we can send the source files and the
exact steps.
>> If I gave you a Docker image within which we can reproduce the problem,
>> could you run that?
> I'd prefer not to.
> Alternatively, I could guide you through debugging the recursion, but I'll
> need you to use GDB, not the macOS debugger.
Sadly, only lldb is possible here. :(
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/19
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/19
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/19
- bug#27761: Crash while using proof-general/company-coq on OS X, Charles A. Roelli, 2017/07/20
- bug#27761: Crash while using proof-general/company-coq on OS X, Eli Zaretskii, 2017/07/20
- bug#27761: Crash while using proof-general/company-coq on OS X, Денис Редозубов, 2017/07/20