-
Notifications
You must be signed in to change notification settings - Fork 292
Avoid OCaml 5.3 compiler warnings #6691
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
OCaml 5 is particularly picky here and wants all those dependencies explicitly (and tediously) declared, otherwise it will print `ocaml_deprecated_auto_include` alerts. In the case of `unix`, it is used nearly everywhere. Signed-off-by: Rob Hoes <[email protected]>
CAMLprim value stub_xenctrlext_get_boot_cpufeatures(value xch_val) | ||
{ | ||
CAMLparam1(xch_val); | ||
#if defined(XENCTRL_HAS_GET_CPUFEATURES) | ||
CAMLparam1(xch_val); | ||
CAMLlocal1(v); | ||
uint32_t a, b, c, d, e, f, g, h; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It looks like XENCTRL_HAS_GET_CPUFEATURES
and xc_get_boot_cpufeatures
was always local to the XenServer patchqueue, and deleted by xenserver/xen.pg@b39aeba#diff-6c3fe5afba8527c7d13d37280dbc422a422f357c226fc8d1759031a10a32aa20L37 in 2015.
It's probably worth cleaning up the dead code here too
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks, it indeed turns out that this whole function is unused in xenopsd. I'll zap it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That's a lot of unix.
The format of the error that this test checks for is printed a little differently by the OCaml 5 compiler (the name of the tag is now quoted). Adapt the test a little to make it work both for OCaml 4 and 5. Signed-off-by: Rob Hoes <[email protected]>
Signed-off-by: Rob Hoes <[email protected]>
27f5b38
to
1c36d6b
Compare
scheduler test is failing now, I'll rerun |
0f0775b
No description provided.