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 q2DMahtF007960
	for <caml-list@sympa-roc.inria.fr>; Tue, 13 Mar 2012 23:36:43 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AokEAADLX0/U4367k2dsb2JhbABDpCWRSiIBAQEBCQkUFAMkggkBAQQBbgsFCwUGJSFFEgYTCQgBh3MJB7tEkHYEjVAXmnI
X-IronPort-AV: E=Sophos;i="4.73,579,1325458800"; 
   d="scan'208";a="135916681"
Received: from moutng.kundenserver.de ([212.227.126.187])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2012 23:36:38 +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=mreu4) with ESMTP (Nemesis)
	id 0MU8Wb-1RyTUi2SX3-00QnHc; Tue, 13 Mar 2012 23:36:37 +0100
Received: from gps.dynxs.de (localhost [127.0.0.1])
	by office1.lan.sumadev.de (Postfix) with ESMTP id B3855C00CB;
	Tue, 13 Mar 2012 23:36:36 +0100 (CET)
Received: from 178.4.234.241
        (SquirrelMail authenticated user gerd)
        by gps.dynxs.de with HTTP;
        Tue, 13 Mar 2012 23:36:37 +0100
Message-ID: <747ffc6fd1465f32ace1cdbb7d1c5100.squirrel@gps.dynxs.de>
In-Reply-To: 
 <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
References: 
    <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
Date: Tue, 13 Mar 2012 23:36:37 +0100
From: "Gerd Stolpmann" <info@gerd-stolpmann.de>
To: "bob zhang" <bobzhang1988@gmail.com>
Cc: "Caml List" <caml-list@inria.fr>
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:0zH+hDBvZLytklUwdY9t5sn+qc7slB3+Gwopj4vL/tc
 59keOL97mZswfRSyVgJXCnRQTBm+8968n+2uGXJZm4LIxuG62H
 5gpmKnhNqXVxPEY084Uj67tblt7GX2TKlV5HnibyNtrVT84n5s
 6NZWRe5hKZu6Ta3B6+IrUsTqzAEGX0I/DuEXXC4MziYoYavz4w
 oYOelPPWvLzBQYysGRXmw64jhoK4d2P4GqNczYbWeZPC20mmcC
 TYhUK2yG4V3x9ByvDVe/l38sRSM+aN80uprhf2guSK1e+BC3JZ
 1IeVxidnY0UXggvkGHvV3Dcm9k1geFIC9fd4kMNvGaLfbZ4Q/0
 ybo3zuJ6OQbBSeHZy1HqDFdH7OEcZAKsAIckR0DqGCLG9sDLzw
 xQRtu5Z/A+iBLff2poXw+Fp6hfqBziRjcg=
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2DMahtF007960
Subject: Re: [Caml-list] Parsing cmi file


> 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 = <NameOfTheCMI>;;

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.