Gabriel Scherer

@garrigue needs to react to @bclement-ocp's review (thanks!). (@bclement-ocp, did you mean to "approve" the PR? the general tone of your comment suggests that you are fine with merging, basically...

Could you maybe ask the lldb upstream if they support this somehow, or if support for dots in quoted names could be added? (This is not necessarily the right solution...

If middle-dot works well for go, we could use this instead of dot. Can someone who knows about debuggers try to tweak the OCaml naming scheme to use middle-dot and...

We discussed this PR again during the meeting. My feeling (which seemed rather non-consensual, people are generally eager to go and merge) is that this PR is "almost wrong", it...

For the record, the initial proposal that was rejected was https://github.com/ocaml/ocaml/pull/10982 .

I haven't done a full review yet, but I am broadly in favor of this proposal. It is convenient for @c-cube, solves some real needs, and it offers a good...

@yallop my reasoning for why this proposal is less abstraction-breaking than the previous proposal is that it allows implementations that use several non-contiguous chunks to represent the buffer, which was...

My take (but I'm happy to leave fixing this issue to others); - There are indeed small mistakes (spaces instead of tabs, and a setup that does not work with...

You are probably the best person to work on immediacy checking in the compiler right now. Are you volunteering to eventually fix your own issue report?

I did as you suggested to give the new label a try. (I had to create it first and pick a random color, I hope you like it.)