coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

[ci] Test OCaml 5.2 series.

Open ejgallego opened this issue 1 year ago • 2 comments

ejgallego avatar May 14 '24 14:05 ejgallego

There is now GC compaction in 5.2 IIUC. That might be useful. What is the status of OCaml 5 support for Coq? Is it worth switching over as a default version yet?

Alizter avatar May 14 '24 14:05 Alizter

What is the status of OCaml 5 support for Coq?

Mixed, it works better for some users, worse for others.

Is it worth switching over as a default version yet?

Not yet, as memprof-limits is not available.

ejgallego avatar May 14 '24 14:05 ejgallego