.mli breaking while being compiled by OCaml compiler is a long-standing issue, see for example: https://github.com/coq/coq/issues/16169
I'm not familiar with any workarounds besides modifying the extracted
.mli via something like sed. The next generation of extraction will probably target a lower OCaml interface though, so then the problem likely goes away (see for example this)
Thanks for the response! Glad it's a known issue and I'm not alone, at least. Hopefully the future work you pointed to ends up resolving this so we can have fewer load bearing Perl and sed scripts :sweat_smile:.
Last updated: Feb 01 2023 at 11:04 UTC