Emilio Jesús Gallego Arias (Mar 13 2021 at 14:11): Emilio Jesús Gallego Arias (Mar 13 2021 at 14:11):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.
Guillaume Melquiond (Mar 13 2021 at 14:15):There is no open issue, as far as I know.
Emilio Jesús Gallego Arias (Mar 13 2021 at 14:23):Ok thanks @Guillaume Melquiond , will open an issue then for discussion [with pointers to all discussions I know of]
Gaëtan Gilbert (Mar 13 2021 at 14:24):also https://github.com/coq/coq/pull/12733
Emilio Jesús Gallego Arias (Mar 13 2021 at 15:16):https://github.com/coq/coq/issues/13940
Last updated: Apr 20 2024 at 01:41 UTC