Make all Run functors generative
This merge request makes all Run
functor generative to make it clearer that they are not intended to ever share types between different invocations.
This is also fixes the compatibility of menhir with OCaml 5.1 .
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
La mise à jour de sécurité sans préavis est terminée. Désolé pour cette interruption de service de quelques minutes.
This merge request makes all Run
functor generative to make it clearer that they are not intended to ever share types between different invocations.
This is also fixes the compatibility of menhir with OCaml 5.1 .