'a -> string ?

'a -> string ?

[GillesDfnx]

Bonjour,

je cherche une fonction similaire à

val output_value : out_channel -> 'a -> unit

mais qui écrirait la représentation de l'élément de type 'a dans une
'string' au lieu d'un 'out_channel' (pour pouvoir le sauver dans dbm
après). Je voudrais éviter de recourir à un fichier temporaire suivi
d'un appel à 'input'.

Quelqu'un s'est-il déjà penché sur le problème ?

Merci,

Gilles

--- english ---

Hello,

I'm looking for an equivalent of

val output_value : out_channel -> 'a -> unit

that would output the representation of the element of type 'a into a
'string' instead of and 'out_channel' (for subsequent inclusion into a
dbm database). I would like to avoid using a temp file followed by an
'input' call.

Has anybody already designed such a function ?

Thank you,

Gilles

--
                                                \\///
#include <std.disclaimer>                       (O O)
--------------------------------------------oOo--(_)--oOo--------
Gilles DEFOURNEAUX            \ /
Automated Deduction Team       |
ATINF project - LEIBNIZ lab  --|--
Grenoble, FRANCE               0    GillesDfnx@mail.dotcom.fr

Re: 'a -> string ?

[wakita]

Hi,

Try the following:

external my_marshal : 'a -> string = "output_value_to_string"

Ken

On Thu, 16 Oct 1997 12:19:19 +0200 (MET DST)
GillesDfnx@mail.dotcom.fr wrote:

> 
> Bonjour,
> 
> je cherche une fonction similaire  
> 
> val output_value : out_channel -> 'a -> unit
> 
> mais qui 馗rirait la repr駸entation de l'駘駑ent de type 'a dans une
> 'string' au lieu d'un 'out_channel' (pour pouvoir le sauver dans dbm
> apr鑚). Je voudrais 騅iter de recourir 

Re: 'a -> string ?

[Xavier Leroy]

> I'm looking for an equivalent of
> 
> val output_value : out_channel -> 'a -> unit
> 
> that would output the representation of the element of type 'a into a
> 'string' instead of and 'out_channel' (for subsequent inclusion into a
> dbm database). I would like to avoid using a temp file followed by an
> 'input' call.

In the current release (OCaml 1.05), you can do that using
undocumented features, as follows:

        let output_value_to_string v = Obj.marshal(Obj.repr v)

The forthcoming release 1.06 will provide a nicer interface for this
feature.

Regards,

- Xavier Leroy