-
Notifications
You must be signed in to change notification settings - Fork 41
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
CA-283754: ppxified interfaces, do not discard internal errors #204
Conversation
Note:
|
I had not realised how much stuff was changed by ocp-indent. I'll separate the commits |
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
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.
Minor comments.
gpumon/gpumon_interface.ml
Outdated
let gpu_err = GpuErrors.error | ||
let gpu_err = Error.{ | ||
def = gpu_errors; | ||
raiser = (function | e -> raise (Gpumon_error e)); |
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.
Here fun e -> raise (Gpumon_error e)
would be more natural as we don't have several patterns.
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.
Indeed, I went with copy-paste. I'll add fixup commits
memory/memory_interface.ml
Outdated
matcher = function | MemoryError e -> Some e | _ -> None | ||
} | ||
def = errors; | ||
raiser = (function | e -> raise (MemoryError e)); |
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.
Same as above. But not a real issue.
Clusterd is implemented using Lwt, and it already does an |
This depends upon xapi-project/xcp-idl#204 being merged Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
This is updating
memory
,gpumon
andv6
, recently ported to the new ppx interface.This is not updatding
clusterd
that uses a slightly different error reporting and may noot need it (ping @edwintorok).Signed-off-by: Marcello Seri marcello.seri@citrix.com