From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 79B55BC28 for ; Fri, 5 Nov 2004 23:37:02 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iA5Mb2KZ032291 for ; Fri, 5 Nov 2004 23:37:02 +0100 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 XAA28838 for ; Fri, 5 Nov 2004 23:37:01 +0100 (MET) Received: from postfix3-1.free.fr (postfix3-1.free.fr [213.228.0.44]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iA5Mb1Kj032288 for ; Fri, 5 Nov 2004 23:37:01 +0100 Received: from [192.168.0.2] (massena-7-81-56-56-104.fbx.proxad.net [81.56.56.104]) by postfix3-1.free.fr (Postfix) with ESMTP id 3F1C41734CA for ; Fri, 5 Nov 2004 23:37:01 +0100 (CET) Mime-Version: 1.0 (Apple Message framework v619) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Resent-Date: Fri, 5 Nov 2004 23:36:58 +0100 Message-Id: <34378C72-2F7B-11D9-8A45-000D932A4736@free.fr> Content-Transfer-Encoding: quoted-printable Resent-To: caml-list Resent-Message-Id: From: =?ISO-8859-1?Q?Cl=E9ment_Capel?= Subject: Re: [Caml-list] Print values like the toplevel's printer Resent-From: =?ISO-8859-1?Q?Cl=E9ment_Capel?= Date: Fri, 5 Nov 2004 23:12:08 +0100 To: =?ISO-8859-1?Q?Wolfgang_M=FCller?= X-Mailer: Apple Mail (2.619) X-Miltered: at nez-perce with ID 418C008E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 418C008D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevel's:01 toplevel:01 toploop:01 printtyp:01 toplevel's:01 cheers:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 capel:98 capel:98 ...:98 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: Hello, you should take a look at the function "execute_phrase"=20 (toplevel/toploop.ml) which evaluate and print a term. Two interesting functions are called: - outval_of_value - Printtyp.tree_of_type_scheme and !print_out_phrase I think the parameter "v" is the value... Cl=E9ment Capel Le 5 nov. 04, =E0 13:23, Wolfgang M=FCller a =E9crit : > Hi, > > I would like to print values to a file in a human-readable manner=20 > without > having to compose the output writers of print_int and friends. In=20 > short, I > would like to use the toplevel's function for screen output of=20 > structured > values. > > Is there a simple way, a FM or a mailing list you can point me to? > > I googled quite a bit, but apparently not with the right terms. > > Cheers, > Wolfgang > --=20 > Dr. Wolfgang M=FCller > LS AI 1 > Universit=E4t Bayreuth > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >