search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
151 stars 31 forks source link

[ci] Test OCaml 5.2 series. #707

Closed ejgallego closed 4 months ago

Alizter commented 4 months ago

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?

ejgallego commented 4 months ago

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.