Re: [PATCH 0/2] tools/ocaml: bindings needed to build ARM domains

[Andrii Sultanov <andriy.sultanov@xxxxxxxxxx>]

On 10/22/26 21:57, Andrew Cooper wrote:

> But, I think now is about the right time to put this in as a real test
> to run in CI.  What I did was a gross hack, but in principle all we need
> to do is install it into $(DESTDIR)$(LIBEXEC)/tests and it should get
> picked up and run automatically in Gitlab CI.
>
> What I can't find is anything which can truly pretty-print an Ocaml
> object without some external structural definition.  To test the
> bindings, we need to reference every part of them in Ocaml code (and
> have it not crash), to confirm that we built the correct structure in C.
There's no nice generic way to do this, I'm afraid. It's a common 
complaint...
It can technically be done with PPX-es
(e.g. https://github.com/ocaml-ppx/ppx_deriving#plugin-show), but it's 
going to
be fairly painful to integrate this into Xen given our reqs.