Version franaise
Home About Download Resources Contact us
Browse thread
'a -> string ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: wakita@i...
Subject: Re: 'a -> string ?

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
> 
> 
> 
> 
>