OCaml 5.0 will remove naked pointers and the transition has begun upstream with Coq being flagged. I was pretty sure we had an issue already opened for this (even with @Xavier Leroy commenting) but I cannot find it now, do you folks remember where it is?
We have https://github.com/coq/coq/issues/10602 which is also related.
There is no open issue, as far as I know.
Ok thanks @Guillaume Melquiond , will open an issue then for discussion [with pointers to all discussions I know of]
Last updated: Oct 21 2021 at 20:02 UTC