Nicolas Cannasse wrote:
> Obj.set_field (Obj.repr (Some 0)) 1000000 (Obj.repr ())
>
> But I'm quite surprise that's it's not inlined and slower than
> setting a record field (according to the bench results)... and even
> slower than calling method (???)

The implementation of Obj.set_field is:

  external set_field : t -> int -> t -> unit = "%obj_set_field"

Where %obj_set_field is merely:

  Parraysetu Pgenarray;

from the primitives_table, which is pretty generic.

I am not sure why it isn't inlined either. It doesn't get inlined even
when having the declaration in the same source file.

-- Naked

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners