Opened 2 years ago
Last modified 6 months ago
#66495 assigned update
ocaml: update to 5.1.1
| Reported by: | mohd-akram (Mohamed Akram) | Owned by: | pmetzger (Perry E. Metzger) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | ocaml |
Change History (4)
comment:1 Changed 19 months ago by ctreleaven (Craig Treleaven)
comment:2 Changed 19 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 19 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.
comment:4 Changed 6 months ago by mohd-akram (Mohamed Akram)
| Cc: | pmetzger removed |
|---|---|
| Description: | modified (diff) |
| Owner: | set to pmetzger |
| Status: | new → assigned |
| Summary: | ocaml: update to 5.0.0 → ocaml: update to 5.1.1 |
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.