'a -> string ?

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

From: GillesDfnx@mail.dotcom.fr
Date: Thu, 16 Oct 1997 12:19:19 +0200 (MET DST)
Message-Id: <199710161019.MAA04691@cosmos.imag.fr>
To: caml-list@inria.fr
Subject: 'a -> string ?

Bonjour,

je cherche une fonction similaire =E0

val output_value : out_channel -> 'a -> unit

mais qui =E9crirait la repr=E9sentation de l'=E9l=E9ment de type 'a dan=
s une
'string' au lieu d'un 'out_channel' (pour pouvoir le sauver dans dbm
apr=E8s). Je voudrais =E9viter de recourir =E0 un fichier temporaire su=
ivi
d'un appel =E0 'input'.

Quelqu'un s'est-il d=E9j=E0 pench=E9 sur le probl=E8me ?

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