Hi Edwin,

> -----Original Message-----
> From: Edwin Török <edvin.to...@citrix.com>
> Subject: [PATCH for-4.17 v3 09/15] tools/ocaml/xenstored/store.ml: fix build
> error
> 
> Building with Dune in release mode fails with:
> ```
> File "ocaml/xenstored/store.ml", line 464, characters 13-32:
> Warning 18: this type-based record disambiguation is not principal.
> File "ocaml/xenstored/store.ml", line 1:
> Error: Some fatal warnings were triggered (1 occurrences)
> ```
> 
> This is a warning to help keep the code futureproof, quoting from its
> documentation:
> > Check information path during type-checking, to make sure that all types
> are
> > derived in a principal way. When using labelled arguments and/or
> polymorphic
> > methods, this flag is required to ensure future versions of the compiler 
> > will
> > be able to infer types correctly, even if internal algorithms change. All
> > programs accepted in -principal mode are also accepted in the default
> mode with
> > equivalent types, but different binary signatures, and this may slow down
> type
> > checking; yet it is a good idea to use it once before publishing source 
> > code.
> 
> Fixes: db471408edd46 "tools/ocaml/xenstored: Fix quota bypass on domain
> shutdown"

Nit: The format of this "Fixes:" tag might need to be fixed?

> 
> Signed-off-by: Edwin Török <edvin.to...@citrix.com>
> ---
> Reason for inclusion in 4.17:
> - fixes a build error in a previous commit that is already in master

Yes, given this is a simple enough patch:

Release-acked-by: Henry Wang <henry.w...@arm.com>

Kind regards,
Henry

Reply via email to