[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH v2-resend 14/30] libxl: ocaml: make Val_defbool GC-proof

Rob Hoes writes ("[Xen-devel] [PATCH v2-resend 14/30] libxl: ocaml: make 
Val_defbool GC-proof"):
> Signed-off-by: Rob Hoes <rob.hoes@xxxxxxxxxx>

I'm afraid I don't understand this at all.  How does this make a
difference ?

(Also, these changes...
> +     bool b;
> -             bool b = libxl_defbool_val(c_val);
> +             b = libxl_defbool_val(c_val);
... definitely don't have any purpose.)

So, the remaining key change is this:

                bool b = libxl_defbool_val(c_val);
> -             v = Val_some(b ? Val_bool(true) : Val_bool(false));
> +             v1 = b ? Val_bool(true) : Val_bool(false);
> +             v2 = Val_some(v1);

Assuming that Val_some is a function, I think this has no semantic
difference.  Can you explain what the difference is ?


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.