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]

also https://github.com/coq/coq/pull/12733

https://github.com/coq/coq/issues/13940

Last updated: Feb 05 2023 at 20:03 UTC