> On 20 Aug 2019, at 13:45, Igor Druzhinin <igor.druzhi...@citrix.com> wrote: > > con is passed into that function from xenstored.ml where it's extracted > from the same hashtable (Connections) so it's actually the exactly same > object.
This comes down to what semantics you want. It is unfortunate that Connection.t is not abstract and its equality not well defined. Using != now relies on the fact that you only compare values stored in the same hash table. — C Acked-by: Christian Lindig <christian.lin...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel