[Caml-list] Re: Closures serialization and hash.

[Caml-list] Re: Closures serialization and hash.

[oleg]

>   - use a table associating function "names" (position in the .cmo, or the
> lambda-tree or anything
> portable) to source code adresses. The function name should be portable
> across architecture and
> distinct binary using common librairies.
>
>  - (1) fill this table by calling a function "register_code_pointer : ('a ->
> 'b) -> unit"
>
>  - (2) or even better offer a linking option to register all closures from
> some compilation unit.

Incidentally delimcc has to do something similar when serializing
captured byte-code delimited continuations. Delimcc has a function
to register a closure, unimaginatively named
        val register_global_closure : ('a -> 'b) -> unit

It also provides a third way of registration. The function

        val relativitize : Obj.t -> bool -> Obj.t
takes an object (usually a closure, but can be anything), and, when
called with with true as the second argument, registers all closures
found during the traversal of the object (provided they are in the old heap -- 
there is little sense to register closures that are transient). Sec 8
of
        http://okmij.org/ftp/continuations/caml-shift-journal.pdf
explains what relativitize (and the dual, absolutize) do and
especially why they are needed.