Re: 'a -> string ?

From: $BOFED7z (wakita@is.titech.ac.jp)
Date: Thu Oct 16 1997 - 23:32:46 MET DST


Date: Fri, 17 Oct 1997 06:32:46 +0900
Message-Id: <199710162132.GAA20613@bd.mbn.or.jp>
To: <GillesDfnx@mail.dotcom.fr>
From: =?ISO-2022-JP?B?GyRCT0ZFRDd6GyhC?= <wakita@is.titech.ac.jp>
Subject: Re: 'a -> string ?
In-Reply-To: <199710161019.MAA04691@cosmos.imag.fr>

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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET