From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2E0Pu5S010953 for ; Wed, 14 Mar 2012 01:25:56 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokEAAHlX0/U4xEJk2dsb2JhbABDpCWRSyIBAQEBCQkUFAMkggkBAQQBbgsFCwUGGA0hRRIGEwkIAYdzCQe7L5B2BI1QF5py X-IronPort-AV: E=Sophos;i="4.73,579,1325458800"; d="scan'208";a="135926081" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Mar 2012 01:25:50 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-210-049.pools.arcor-ip.net [94.219.210.49]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0MDWCD-1S8QKJ0yLt-00HWKY; Wed, 14 Mar 2012 01:25:50 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by office1.lan.sumadev.de (Postfix) with ESMTP id D6444C00CB; Wed, 14 Mar 2012 01:25:49 +0100 (CET) Received: from 178.4.234.241 (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Wed, 14 Mar 2012 01:25:49 +0100 Message-ID: In-Reply-To: References: <747ffc6fd1465f32ace1cdbb7d1c5100.squirrel@gps.dynxs.de> Date: Wed, 14 Mar 2012 01:25:49 +0100 From: "Gerd Stolpmann" To: "bob zhang" Cc: "Caml List" User-Agent: SquirrelMail/1.4.21 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 X-Priority: 3 (Normal) Importance: Normal X-Provags-ID: V02:K0:FvgNXLrCFYLLHluOsMBhrTLz/x6KGleuN6kiESzB7Fr 1DZb99ImIs1r5YfjJTYKpA6F1VYhXVRDC9RqvF8FhV8KjjJQzn +DlswCv9yug6GXEyz+8zPl5rC+UzalMZh4iP/sKeGD6+hEfzhD KFDB9LSUB6r2yQluh1zthu/CBQBeOpuo4TKD2TLonlaXkm/8D7 jsheHPD6ggKCXijQNmUlj1SSFpfCYTHqQgTmUyKOmer+46impa TKNmZ6j1RqJeSMWVCMNgFLjd+9x8PlGcoSzmzRne7l7c9qcSNi 5cOhzoGo28OLSt7kYopXpOuzDOTo8n57moHS9ZZzQqftKb9YoB HsaWjZ6MBBxxcnH2Xr6D90JNrg1VMsoy9eBwwMc8VQcp5BR6g1 RDJZequrKuq88NIQwBS26F4qNwJpT6Xcp4= Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2E0Pu5S010953 Subject: Re: [Caml-list] Parsing cmi file > Thanks. > I know the dirty tricks, is there some way not that dirty? > Godi did pretty printing this way? Yes. But why do you consider it as dirty? There is nothing wrong with it, isn't it? This uses a helper program with a well-defined interface. I think you can also "use" ocamlc -i for it, maybe easier to wrap. Gerd > On Tue, Mar 13, 2012 at 6:36 PM, Gerd Stolpmann > wrote: >> >>> Hi list, >>>    I noticed that Godi can pretty print cmi files, is there already >>> libraries parsing cmi files? >> >> Yes, toplevellib.cma (i.e. the ocaml toploop). It's a silly trick. Run >> the >> toploop and do >> >> module M = ;; >> >> and the toploop responds. >> >> Gerd >> >>> Many thanks >>> -- >>> -- Bob >>> >>> -- >>> Caml-list mailing list.  Subscription management and archives: >>> https://sympa-roc.inria.fr/wws/info/caml-list >>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >>> Bug reports: http://caml.inria.fr/bin/caml-bugs >>> >>> >>> >> >> >> -- >> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de >> Creator of GODI and camlcity.org. >> Contact details:        http://www.camlcity.org/contact.html >> Company homepage:       http://www.gerd-stolpmann.de >> *** Searching for new projects! Need consulting for system >> *** programming in Ocaml? Gerd Stolpmann can help you. >> > > > > -- > -- Bob > > -- Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you.