> On 24 Mar 2023, at 20:25, Andrew Cooper <[email protected]> wrote:
>
> Strings in Ocaml carry their own length. Absolutely nothing good can come
> from having caml_string_length(data) be different to len.
>
> Use the appropriate accessor, String_val(), but retain the workaround for the
> Ocaml -safe-string constness bug in the same way as we've done elsewhere in
> Xen.
>
> Signed-off-by: Andrew Cooper <[email protected]>
> ---
> CC: Christian Lindig <[email protected]>
> CC: David Scott <[email protected]>
> CC: Edwin Török <[email protected]>
> CC: Rob Hoes <[email protected]>
> ---
> tools/ocaml/libs/mmap/xenmmap.ml | 4 ++--
> tools/ocaml/libs/mmap/xenmmap.mli | 2 +-
> tools/ocaml/libs/mmap/xenmmap_stubs.c | 11 +++++------
> 3 files changed, 8 insertions(+), 9 deletions(-)
Acked-by: Christian Lindig <[email protected]>
