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 q2EHoaXc018823
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 18:50:36 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgcCAPTZYE/RVdm2mWdsb2JhbABDhTqwawgiAQEBAQEICwsHFCeCCQEBAQMBEgIPBBkBGx4DAQsGBQsPAiYCAiIBEQEFARwGNYdjBZ0oCotETIJxhTI/iHQBBQuBJI45gRYElVaOST2ECg
X-IronPort-AV: E=Sophos;i="4.73,584,1325458800"; 
   d="scan'208";a="149395941"
Received: from mail-lb0-f182.google.com ([209.85.217.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 18:50:31 +0100
Received: by lboi15 with SMTP id i15so1792751lbo.27
        for <caml-list@inria.fr>; Wed, 14 Mar 2012 10:50:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        bh=1KpjLNgitDp9RHrQ7kTtsrUn1LbDUJML5NapSsM3Yvw=;
        b=SjTickbwC0Qz5UgsUVPdxlrF6I5LNhH6iKr3httISasOlQCjt+CXuHmcOleNjniFmc
         7PpgMYD9GuZjqwJkmX4gLUSn6tyXYYMlHronI2BBAem34Ze8qGrZ85hQefXxX2JdavAO
         86JaODoSsqIlqGMvTPWZqs4AeyKtdYbcjUops/3WIFhwXGlakVxvkzi3ppFl6DWTRcEn
         +P5wiHrZpB/LHacZeH320PCydx3KFfUbXSr76VC2Pq7GH76DrTkMuhVy9IuTVE8kHyCy
         HBSXh+gjKA5q+fF5iIafHSSFIDrCwbzcOdsWx1H4+oYdPt5/LApBcXPb32v0uNK3RwxE
         ZDkQ==
MIME-Version: 1.0
Received: by 10.152.112.134 with SMTP id iq6mr2613985lab.37.1331747430488;
 Wed, 14 Mar 2012 10:50:30 -0700 (PDT)
Received: by 10.152.145.229 with HTTP; Wed, 14 Mar 2012 10:50:30 -0700 (PDT)
In-Reply-To: <20120314173816.GA14656@ccellier.rd.securactive.lan>
References: <CANcqPu7nMRW66UDZiZMTUBr9uDs0bx2nknqX-LEvxhjjvS4rqg@mail.gmail.com>
	<20120314064815.GA24020@yeeloong.happyleptic.org>
	<4F60D5B5.9050207@gmail.com>
	<20120314173816.GA14656@ccellier.rd.securactive.lan>
Date: Wed, 14 Mar 2012 19:50:30 +0200
Message-ID: <CAPi0vKVgT_xcNYL5JBzV6=k0Xju+SKW6Cn7U5Wo0UDHUAHgdcQ@mail.gmail.com>
From: Dmitry Grebeniuk <gdsfh1@gmail.com>
To: rixed <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Re: Parsing cmi file

Hello.

> Yes, ocamlbrowser (if you have support for Tk).
> IIRC you can search by type.

  This search doesn't handle equality of type variables.
For example, if you search "  'a -> 'a -> 'a  ", you'll find
"Arg.parse" (among other functions), which has type

val parse :
  (Arg.key * Arg.spec * Arg.doc) list ->
  Arg.anon_fun -> Arg.usage_msg -> unit

  (and more, the last 'a here stands for
"Arg.usage_msg -> unit", which is good for theoretical
reasons, however.)

  It's not very helpful.