From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p37101c2023784
	for <caml-list@sympa-roc.inria.fr>; Thu, 7 Apr 2011 03:00:01 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvAAAEULnU3RVdK0mGdsb2JhbACleAgUAQEBAQEICQ0HFCWoZ4pogiOFNDCIXQEBAwWFZwSFTIdxhyCCDzo
X-IronPort-AV: E=Sophos;i="4.63,313,1299452400"; 
   d="scan'208";a="96448402"
Received: from mail-iy0-f180.google.com ([209.85.210.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Apr 2011 02:59:55 +0200
Received: by iyf40 with SMTP id 40so2789891iyf.39
        for <caml-list@yquem.inria.fr>; Wed, 06 Apr 2011 17:59:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:cc:content-type
         :content-transfer-encoding;
        bh=tXMTvaqzIeUUYYBjfstGNUK8IKGRxa8pwmV4xjfXGVE=;
        b=ug4sBfkqMoSJ35L3yfTuHEcZFxsn1TKkURoSVSRHlyWiCGp7fYdkwoOlXEH47nYJKE
         jocT2SBH8a9Ex5wIqzP3iXxEb4UmGkDn8+/bjFrq56kom8LGUiFtpv+4VSjYro3wM4ga
         46SSSNGJYa0EtyXksbdD3m4SEi0DBw5w34ZKc=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type:content-transfer-encoding;
        b=KL/bqj5OSFuY/zL3Z1bjgmtULIvizGR6qa2Usy2VEv8K3kdgAxghjGw7qi2KF5ZhHN
         g85d0QYQXh4PpBTWqcxQeJsOXmyNRMYeUmjQXequQ3n+9Qn5IXtbUDM+gTdY3pUVLnkQ
         F5ntkLpLRpdFMluvNPqPSeNtdIvBfUMDCOGCE=
MIME-Version: 1.0
Received: by 10.43.53.136 with SMTP id vq8mr416752icb.275.1302137993743; Wed,
 06 Apr 2011 17:59:53 -0700 (PDT)
Received: by 10.42.240.3 with HTTP; Wed, 6 Apr 2011 17:59:53 -0700 (PDT)
In-Reply-To: <1CABD2E5-4A59-48A3-A097-8447B2F7C688@gmail.com>
References: <AANLkTikGzLTXisOXOBwuZFz7mNUL2gEuX1Gyi=YDOPac@mail.gmail.com>
	<AANLkTinmejPrNGmEkuH+=1wSbv_Y8evxGCoPxOU1DUx7@mail.gmail.com>
	<4D9599FE.1040002@wp.pl>
	<1CABD2E5-4A59-48A3-A097-8447B2F7C688@gmail.com>
Date: Thu, 7 Apr 2011 09:59:53 +0900
Message-ID: <BANLkTinzXH86ZPmFSTZZ7aoRAM85HM0jyg@mail.gmail.com>
From: Jun Furuse <jun.furuse@gmail.com>
To: mzp <mzpppp@gmail.com>
Cc: caml-list <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p37101c2023784
Subject: Re: [Caml-list] Re: Fwd: Hoogle for your language (i.e. F#, Scala,
 ML, Clean...)

I understand that OCamlBrowser and therefore OCaml API search does not
perform precise "more-general-than" type comparison for efficiency.
For example, as you have seen, 'a -> 'a list is considered as 'a -> 'b
list, as if two type variables are considered different.

Jun

On Fri, Apr 1, 2011 at 7:15 PM, mzp <mzpppp@gmail.com> wrote:
> But it seems not to work correclty: I ask for 'a -> 'a list
>
> http://search.ocaml.jp/?q=%27a+-%3E+%27a+list
>
> and it returns 'a list -> 'a list functions.
>
> I'm an author of OCaml API Search.
> Thanks for using.
> I borrowed searching module from
> OCamlBrowser http://caml.inria.fr/pub/docs/manual-ocaml/manual028.html.
> OCamlBrowser is older than hoogle, so there are some difference.
>