Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] questions about marshalling
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: eijiro_sumii@a...
Subject: [Caml-list] questions about marshalling
I have questions about marshaling in ocaml-3.0x:

(1) Is it safe to marshal values of a statically polymorphic type, like

      let f x = Marshal.to_channel outchan (x, x) [Marshal.Closures]

    for example, provided that the marshaled values will be unmarshaled as
    values of the right types at runtime?

(2) Is it safe to *un*marshal a value at a statically polymorphic type
    and use it later at a statically monomorphic type, like

      let g x = fst x
      let y : int = g (Marshal.from_channel inchan)

    for example, provided that the value has the right type at runtime?

My guess is that both of these are safe, even though the document says

  The programmer should explicitly give the expected type of the
  returned value, using the following syntax: `(Marshal.from_channel
  chan : type)'.

because the (un)marshaling function itself works on the basis of the
runtime tag rather than the static type of a value -- a catastrophe
may be caused *later* when the value is actually used at a wrong type.
Am I correct?

(3) Yet another question: in a program using marhsaling (via ocamlmpi,
    actually), I get the following error:

      Fatal error: uncaught exception Failure("input_value: ill-formed message")

    What does this mean?  I am quite sure that all the hosts are
    running the same binary, and I am using only ocamlmpi for
    communication.  Does this necessarily mean that I gave a wrong
    type for the unmarshaled value (in Mpi.receive, to be specific),
    or are there other possibilities?  It seems that this assertion
    failure occurs at line 272 in byterun/intern.c, examining the
    runtime tag of the value.

Many thanks in advance,

   Eijiro
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr