Nicolas Osborne

I'm happy to tackle this issue. I see two ways of doing it: 1. adding an optional `shrink` argument, with default to the present value so that we don't beak...

Looks good to me. The `*_of` name is indeed nicer than `*_gen` one.

Thanks for raising this issue :-) Indeed we haven't tackle the question of the cleanup function asked for the `STM.Spec` module. For now, we are generating a dummy one as...

#214 proposes to move to a module-based configuration. In this case, the user can add the `cleanup` function in the configuration module. If present, the generated code will use it,...

Thanks. It turns out that (at the moment at least) the dune plugin doesn't generate rules that need two loaded plugins. I propose to keep this PR unmerged until we...

Thank you :-) We can't reproduce the first example.

> This also interferes with regular comments: > > ```ocaml > (* type below is highlighted as a comment *) > > type t > ``` I have this behaviour...

We've removed `ocamlModParam` from `ocamlModParam`'s `contains`. This fixes the last bug and doesn't seem to change things regarding #3 (even on today's master branch). I believe all the known bugs...

Thanks for raising this issue! Indeed, we don't translate (yet) the ghost types. Translations should be relatively simple (mostly converting a `Gospel.Tast.type_declaration` into a `Ppxlib.type_declaration`) There is though the question...

The scope of this issue is in fact a bit larger than I first thought. Indeed, all the plugins could benefit from the support for Gospel ghost types translation. This...