From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EIEPsB020015
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 19:14:25 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoYBAMvfYE9KfVM2kGdsb2JhbABDtiUIIgEBAQEJCQ0HFAQjggkBAQEEEgIkCAEbHAEBAwwGBQsNCRYPCQMCAQIBEREBBQEcBg0BBwEBHodonSUKjBCCcYUzP4h0AQULkHMElVaHKYcgPYQk
X-IronPort-AV: E=Sophos;i="4.73,585,1325458800"; 
   d="scan'208";a="149399880"
Received: from mail-ee0-f54.google.com ([74.125.83.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 19:14:14 +0100
Received: by eekd17 with SMTP id d17so1684034eek.27
        for <caml-list@inria.fr>; Wed, 14 Mar 2012 11:14:14 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=PFgvx8mWG3/wDPlea8+rVWSvHUzeuQ9WWmuDAFgi9Rg=;
        b=nzA0s60zjzUyUKQD1y+15djlnfKMLEydfZkvWv2giQi9Wnqm85I0xjMaQHQxIWp5n2
         oaA+Tr83YKYrq48jFdiwnBnhDghPrg+gCxES/aJevxftlvz24NxiPjOPeSmfdUjfYTF2
         K7RBjdvnDpuGL4HaMQ7zf0eE9+EHvjQseWtGGUGkEX44Cvt5/KnXJhZIxozqMrHfsnso
         FnLRojvY2c1SuoZLt6Sow873hMklpdHKUft96+vUX1EMOjainloRdpwCNR/sJyBKlJ5/
         Xwxrxv4vryYcvIvInu/4iprk38WYAYQ09Bbavf1/wmR1nUKPuZjKmd65K9HfK/ttY1Qb
         s8Rw==
Received: by 10.224.174.75 with SMTP id s11mr4252289qaz.41.1331748854056;
        Wed, 14 Mar 2012 11:14:14 -0700 (PDT)
Received: from seas224.wlan.seas.upenn.edu (SEAS224.wlan.seas.upenn.edu. [158.130.104.225])
        by mx.google.com with ESMTPS id i19sm9951447qad.19.2012.03.14.11.14.13
        (version=SSLv3 cipher=OTHER);
        Wed, 14 Mar 2012 11:14:13 -0700 (PDT)
Message-ID: <4F60DFF4.8050904@gmail.com>
Date: Wed, 14 Mar 2012 14:14:12 -0400
From: Hongbo Zhang <bobzhang1988@gmail.com>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
MIME-Version: 1.0
To: "Richard W.M. Jones" <rich@annexia.org>
CC: Caml List <caml-list@inria.fr>
References: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com> <20120314180948.GA11143@annexia.org>
In-Reply-To: <20120314180948.GA11143@annexia.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Parsing cmi file

On 3/14/12 2:09 PM, Richard W.M. Jones wrote:
> On Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang wrote:
>> Hi list,
>>     I noticed that Godi can pretty print cmi files, is there already
>> libraries parsing cmi files?
> cmigrep may be worth looking at.  It's also a nasty(-ish) hack since
> it has to use the compiler sources.  I agree it would be nice to have
> a formal API, but I can understand why the OCaml team wouldn't want to
> have to maintain such a thing.
>
> Rich.
>
Thanks !
I tried, it does not compile, but it would be not hard to fix, I guess.

ocamlbrowser is unstable, it crashes every 2 hours(most times) on my 
computer