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 q2EI9n8p019743
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 19:09:49 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EAJneYE9QRFuw/2dsb2JhbABDti2BB4IJAQEFOj8QCxgcEhQoIYghuxiFPYpeYwSVVZApgmY
X-IronPort-AV: E=Sophos;i="4.73,585,1325458800"; 
   d="scan'208";a="149399125"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 14 Mar 2012 19:09:49 +0100
Received: from rich by furbychan.cocan.org with local (Exim 4.72)
	(envelope-from <rich@annexia.org>)
	id 1S7sdw-0002vv-FM; Wed, 14 Mar 2012 18:09:48 +0000
Date: Wed, 14 Mar 2012 18:09:48 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: bob zhang <bobzhang1988@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Message-ID: <20120314180948.GA11143@annexia.org>
References: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Parsing cmi file

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.

-- 
Richard Jones
Red Hat