Stream: Coq devs & plugin devs

Topic: -no-naked-pointers


view this post on Zulip 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.

view this post on Zulip Guillaume Melquiond (Mar 13 2021 at 14:15):

There is no open issue, as far as I know.

view this post on Zulip 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]

view this post on Zulip Gaëtan Gilbert (Mar 13 2021 at 14:24):

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

view this post on Zulip Emilio Jesús Gallego Arias (Mar 13 2021 at 15:16):

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


Last updated: Oct 21 2021 at 20:02 UTC