Gabriel Scherer

My problem with the current status is that I don't think users realize, when they see an image called "ocaml-5.0", that they may in fact be using some random in-development...

ocaml-5.0+latest could also work I guess.

Actually someone else selected alpine-3.15-ocaml-5.0, but I recommended moving to alpine-ocaml-5.0 when I noticed the problem indeed. I don't know how alpine-3.15 was selected in the first place. Thanks for...

Wow, nice! For the record, here is an alternative way to do this which is less nice -- which I wanted to avoid. ```ocaml module type Gen = sig type...

I'm afraid that I don't have an easy answer to your question. I don't see a feasible, non-invasive way to improve the pattern-matching compiler that would re-optimize these programs and...

> My last suggestion, to replace the last case in a “total” match with a wildcard case, doesn’t work in general because some wildcards can match a value that isn’t...

I agree that your dubious example is dubious. Indeed my thinking was that if a clause is taken *because* it is wildcardized, then we initially started with an input matching...

Let me write down an idea I had in passing: instead of raising `Match_failure`, we could jump back to the beginning of the pattern-matching logic. This approach does not introduce...

I started working on [a warning](https://github.com/gasche/ocaml/compare/matching-bug-fix-totality-3...matching-bug-partiality-warning), but this is proving more interesting than planned -- I can't get it to fire on a testsuite example which should, and it fires...

@maranget yes, in this case mutations would come from concurrent mutations. My general approach is to assume that any mutable field may be mutated "during" matching, so that two reads...