Re: [[PATCH for-4.17 v1]] tools/ocaml/xenstored/store.ml: fix build error

2022-11-04 Thread Christian Lindig
On 3 Nov 2022, at 18:42, Edwin Török mailto:edvin.to...@citrix.com>> wrote: Fixes: db471408edd46 "tools/ocaml/xenstored: Fix quota bypass on domain shutdown" Signed-off-by: Edwin Török mailto:edvin.to...@citrix.com>> --- tools/ocaml/xenstored/store.ml | 2 +- 1 file changed, 1 insertion(+),

RE: [[PATCH for-4.17 v1]] tools/ocaml/xenstored/store.ml: fix build error

2022-11-03 Thread Henry Wang
Hi Edwin, > -Original Message- > From: Edwin Török > Subject: [[PATCH for-4.17 v1]] 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

[[PATCH for-4.17 v1]] tools/ocaml/xenstored/store.ml: fix build error

2022-11-03 Thread Edwin Török
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