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 q2E6mQAp027626 for ; Wed, 14 Mar 2012 07:48:26 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAEk+YE/UGyoFkWdsb2JhbABDthAiAQEBAQkLCwcUAySCCgEFOk8LRhRJiCEHvAWQFWMElVWFe40T X-IronPort-AV: E=Sophos;i="4.73,582,1325458800"; d="scan'208";a="149248386" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Mar 2012 07:48:22 +0100 Received: from yeeloong (unknown [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with SMTP id 68798D48072 for ; Wed, 14 Mar 2012 07:48:17 +0100 (CET) Received: by yeeloong (sSMTP sendmail emulation); Wed, 14 Mar 2012 07:48:16 +0100 Date: Wed, 14 Mar 2012 07:48:16 +0100 From: rixed@happyleptic.org To: Caml List Message-ID: <20120314064815.GA24020@yeeloong.happyleptic.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Parsing cmi file -[ Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang ]---- > Hi list, > I noticed that Godi can pretty print cmi files, is there already > libraries parsing cmi files? Yes you can do this using the compiler libs (not installed by default but debian have these in a separate package). For an exemple of use see for instance the small tool displaying mli signatures from this git repo: git clone http://git.gitorious.org/ocalme/cmidump.git