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 à
val output_value : out_channel -> 'a -> unit
mais qui écrirait la représentation de l'élément de type 'a dan=
s une
'string' au lieu d'un 'out_channel' (pour pouvoir le sauver dans dbm
après). Je voudrais éviter de recourir à un fichier temporaire su=
ivi
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET