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 q2EHUSgR017840
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 18:30:33 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoYBAHnVYE/RVdW2kWdsb2JhbABDtiYIIgEBAQEJCwsHFAQjggkBAQEEAQEBDwIkCAEbHAEBAwwGBQsNCRYPCQMCAQIBEREBBQEcEwEFAgEBHodoC50wCowQgnGFMj+IdAEFC41RgyIElVaHKYcgPYQk
X-IronPort-AV: E=Sophos;i="4.73,584,1325458800"; 
   d="scan'208";a="136085435"
Received: from mail-yx0-f182.google.com ([209.85.213.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 18:30:32 +0100
Received: by yenl9 with SMTP id l9so3131588yen.27
        for <caml-list@inria.fr>; Wed, 14 Mar 2012 10:30:31 -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:newsgroups:to:cc
         :subject:references:in-reply-to:content-type
         :content-transfer-encoding;
        bh=9UhUz8qPI1L6LYY+SPe1BKrPlGymRpI7Pvkne/tDOVg=;
        b=Q/OcgFKF8LutWIjCPnUjxF4Igwh+NO1BkDyARZzCu30/wztANTzsqxJBprqlEEN8i/
         2C0Hvr4jWT0F7kqui2vzko+Ba5zWUBPLXQSB07cgQB71ayGuOK1L2AfiLm2p9eAUAt/i
         0h+5hnnXvgfdHOFzb2XZnYVUGPcWN/sHWmh0ipBpAWqfHAMMP1BZ4Qm0rLokFDrDSM9r
         U9Ds5nnrJ7bpJP7IYfes1QhVa794nRXcM04YUx7kEa57Jo99j+TEXk+o6ZDnxwoKdnOH
         tX8RglhE46P+5HqalP/Vib4/pu7n/lCyrUqTbo8GGbz2SzZcbH4hV9Kr1i9KWb/VZvgC
         RN8A==
Received: by 10.224.215.7 with SMTP id hc7mr3903948qab.20.1331746231411;
        Wed, 14 Mar 2012 10:30:31 -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 ec5sm9791015qab.21.2012.03.14.10.30.30
        (version=SSLv3 cipher=OTHER);
        Wed, 14 Mar 2012 10:30:30 -0700 (PDT)
Message-ID: <4F60D5B5.9050207@gmail.com>
Date: Wed, 14 Mar 2012 13:30:29 -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
Newsgroups: gmane.comp.lang.caml.inria
To: rixed@happyleptic.org
CC: Caml List <caml-list@inria.fr>
References: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com> <20120314064815.GA24020@yeeloong.happyleptic.org>
In-Reply-To: <20120314064815.GA24020@yeeloong.happyleptic.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Re: Parsing cmi file

On 3/14/12 2:48 AM, rixed@happyleptic.org wrote:
> -[ 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?
It works, if you use godi, compiler-lib is there, thanks.

Another thought, I know there is a tool of hoogle for ocaml, but it's 
online, is there some offline hoogle offline?

I miss the hoogle tool in haskell
>
> 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
>
>
>