Nick Roberts

The diff looks to have picked up some unrelated changes in `Changes` and `middle_end/flambda`. Otherwise, it looks good to me.

Thanks for the context. In that case, this does not seem urgent w.r.t. the current release cycle and I'll sync with @goldfirere on his design comments before posting a PR...

Something else appears to be going on here, beyond just `-short-paths`. I agree that `-short-paths` makes the printing better for the small reproduction I gave, but opening `Base` in utop...

@goldfirere mentioned to me that you were looking for a reviewer for some pieces of this. Let me know how I can be helpful here — what pieces are you...

(Apologies for the silence. I haven't forgotten about this — I hope to get started sometime in the next two weeks.)

Hi, thanks for the comments. I'll respond to your comments on syntax shortly, but I first wanted to weigh in on the semantic question you raise, namely whether `e` should...

@alainfrisch : I hadn't considered that, and it's an interesting idea. I believe that implementing this would be a more significant undertaking, as it touches the innards of the pattern...

I've pushed a new commit that refocuses the RFC to: * make the multi-case nature of pattern guards the main point of the proposal. * remove mention of related syntactic...

@Kakadu I've read through that RFC and believe it's independent from this one. (Well, they both deal with pattern matching, but I believe the axes are independent.) That's more prominent...

I am not highly confident that this is the right characterization, but it may be helpful anyway: If a pattern does not bind any variables, then there's no need to...