Opened 17 months ago
Last modified 12 months ago
#66495 new update
ocaml: update to 5.0.0
| Reported by: | mohd-akram (Mohamed Akram) | Owned by: | |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | pmetzger (Perry E. Metzger) | |
| Port: | ocaml |
Description
Change History (3)
comment:1 Changed 12 months ago by ctreleaven (Craig Treleaven)
comment:2 Changed 12 months ago by pmetzger (Perry E. Metzger)
So things aren't really that compatible, in particular, there are going to be libraries that break and forget anything camlp 4 or 5 related. I'm also not sure that coq works yet. However, we kind of have no choice but to upgrade so it should probably happen anyway.
comment:3 Changed 12 months ago by pmetzger (Perry E. Metzger)
Okay, I've checked, and in the last few weeks Coq has been fixed. I think we can probably do an upgrade provided we're willing to let some minor things be broken.
Note: See
TracTickets for help on using
tickets.
The release notes say:
As a language, OCaml 5 is fully compatible with OCaml 4 down to the performance characteristics of your programs. In other words, any code that works with OCaml 4 should work the same with OCaml 5.
The currently known exceptions to this rule are:
the removal of many long-deprecated functions and modules changes to the internal runtime API the performance of ephemerons is currently (and temporarily) strongly degraded.
Have any problems been noted in the field in the last few months?
I'm not familiar with Ocaml but I'm looking at updating the geneweb port. It would require some additional ocaml libraries be added. I could try updating ocaml to 5.0.0 at the same time.