Guillaume Bury

Well that's kind of the problem, actually. What we want I think, is the following: - if the messages file does not exists, create it using menhir, and promote it...

> But if we use the newly generated updated version for the build, does that mean that the version carefully customised by the user will be ignored? No, as the...

Ok, so I indeed misunderstood what the `--update-errors` option does. As explained in [this issue](https://gitlab.inria.fr/fpottier/menhir/issues/14), the update-error mechanism only updates the comments so it can be used to update the...

> Does the format of the messages file makes it easy to distinguish between the parts that are under the control of the user and the parts that are under...

> Given that enabling AFL is a configure time option I'm not sure if that has changed with multicore, but at least as far as I recall on current regular...

Maybe the shrinker could look at the floats' bit patterns rather than interpretation as a decimal number ? (and try and minimize the number of 1s in the bits for...

> > Instrumented runtime might be easy. > > well you have to require that the user uses a specific AFL-enabled switch. Well, that's not strictly speaking necessary. You can...

Well, ideally, giving the `event` hook a meaningful return value would probably be cleaner, but probably a lot more complex (since the return value would depend on the event, it...

Update: I haven't had the time to work on dune for this, but I managed to find an adequate combination of stanzas to achieve a reasonable workflow. The dune file...

For the last cons, there is a way to make it so that the code generated by `ppx_deriving` is added to the source file and promoted by dune, see https://ocaml-ppx.github.io/ppxlib/ppxlib/manual.html#@@deriving_inline...