Clément Pit-Claudel

Same problem on Linux Mint: ``` Fatal error: exception Failure("stack-list-frames error result: (Gdbmi_types.OpError (\"No registers.\", None))") Raised at file "src/core/lwt.ml", line 2719, characters 24-25 Called from file "src/unix/lwt_main.ml", line 33,...

For me the problem happens if I the profiled program exits before `gdbprofiler` (that is, if I don't press enter fast enough)

That's a neat workaround, thanks! But still, it's be nice to be able to use the grouping.

@wbolster I'm not sure a bug report about interaction with wgrep is the right place to discuss the aesthetics of this :) I don't have strong feelings about grouping vs....

It should be done in Coq itself, but it's non-trivial to do; the version in Coq does ppure text diff. CCC @jfehrle, who did the plain-text diffs that ship in...

Thanks Emilio! Looking forward to it. Ping me if you need help beta-testing :)

> I'm looking into this, what do you mean here exactly, how do you get those qualified names? Sorry, you're right, I don't actually get FQNs. I misread some output....

Hey Emilio! As a follow-up on https://github.com/janestreet/sexplib/issues/25, any chance to add JSON support to `sertop`?

Thanks for the reply. Makes sense.

I think I don't follow. My naive understanding was this: a goal is an evar. Applying a tactic means replacing some of the current evars with terms containing more evars....