On Apr 12 2012, Alain Frisch wrote:
Do we really need a new special tag? Why not use Object_tag and represent slots as blocks of size 2 (constructor name + unique integer as the second field)? This would have the following consequences (which are the expected ones):
I hadn't really considered that option, but it seems like that would probably work. It would mean a slightly slower structural comparison, but on the other hand it would produce better hashes and might allow slightly quicker pattern matching in some specific cases.
Regards, Leo -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
