> On 9 Sep 2019, at 18:12, Ian Jackson <ian.jack...@eu.citrix.com> wrote: > > > Add build machinery which will check the ABI correspondence. > > This will result in a compile time failure whenever constants get > renumbered/added without a compatible adjustment to the Ocaml ABI.
I understand the desire to automate this but would have kept the original proposal for these reasons: changes are rare enough, it is obvious how to extend the scheme, the approach stayed well within the respective languages. Adding parsers and code generators to the build system will make it more difficult to improve it, which at least for the OCaml part is very desirable. However, I’m not going to object to the patch. Acked-by: Christian Lindig <christian.lin...@citrix.com> — Christian _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
