ocaml-option-nnpcheckerversion
Set OCaml to be compiled with --enable-naked-pointers-checker
This package can be used to run OCaml packages with the check for 'naked pointers' enabled. A naked pointer is a pointer outside the OCaml heap without a valid header, which is valid in OCaml 4.x, but forbidden in the multicore OCaml 5.x runtime. The nnpchecker prints warnings to standard error with the address that contains the naked pointer, the naked pointer and the reason why the warning was raised. See [https://discuss.ocaml.org/t/ann-a-dynamic-checker-for-detecting-naked-pointers/5805] for more details on the operation of the naked pointer checker.
By convention, the opam repository adds conflicts to OCaml packages that violate the naked pointer rule. This means that if you install this package, you can find the subset of packages that are compatible with OCaml 5. If you spot any violations of the nnpchecker on packages, then please consider submitting a pull request to the ocaml/opam-repository that adds a conflict against the violating package against this one.
| Authors | David Allsopp and Louis Gesbert |
|---|---|
| License | CC0-1.0+ |
| Published | |
| Homepage | https://opam.ocaml.org |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | David Allsopp <david@tarides.com> |
| Available | arch = "x86_64" & (os = "win32" | os = "linux" | os = "macos" | os = "openbsd" | os = "freebsd" | os = "sunos") | arch = "arm64" & (os = "linux" | os = "macos") |
| Dependencies |
|
| Conflicts | |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocaml-option-nnpchecker/ocaml-option-nnpchecker.1/opam |
- ocaml-variants>=4.12.0~beta1+options & <4.12.0+domains | >=4.12.0+options & !=4.14.1+trunk & !=4.14.2+trunk & <5.0.0~alpha0+options
