From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA02945 for caml-redistribution; Fri, 17 Oct 1997 14:17:20 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA20549 for <caml-list@pauillac.inria.fr>; Thu, 16 Oct 1997 23:33:04 +0200 (MET DST)
Received: from bd.mbn.or.jp (bd.mbn.or.jp [202.217.0.43])
	by nez-perce.inria.fr (8.8.7/8.8.5) with SMTP id XAA14068
	for <caml-list@inria.fr>; Thu, 16 Oct 1997 23:33:01 +0200 (MET DST)
Received: from natsumikan.is.titech.ac.jp (cse8-43.tokyo.mbn.or.jp [202.217.5.186]) by bd.mbn.or.jp (8.6.12+2.4W/bd.mbn.or.jp-1.0+u) with SMTP id GAA20613; Fri, 17 Oct 1997 06:32:46 +0900
Date: Fri, 17 Oct 1997 06:32:46 +0900
Message-Id: <199710162132.GAA20613@bd.mbn.or.jp>
To: <GillesDfnx@mail.dotcom.fr>
From: <wakita@is.titech.ac.jp>
Cc: <caml-list@inria.fr>
Subject: Re: 'a -> string ?
In-Reply-To: <199710161019.MAA04691@cosmos.imag.fr>
References: <199710161019.MAA04691@cosmos.imag.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Mailer: Becky! ver 1.21
Sender: weis


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 $BqD(Brirait la repr$BqT(Bentation de l'$BqMqN(Bent de type 'a dans une
> 'string' au lieu d'un 'out_channel' (pour pouvoir le sauver dans dbm
> apr$BoT(B). Je voudrais $BqW(Biter de recourir $Bà(B un fichier temporaire suivi
> d'un appel $Bà(B 'input'.
> 
> Quelqu'un s'est-il d$BqKà(B pench$Bé(B sur le probl$BoN(Be ?
> 
> 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
> 
> 
> 
> 
>