From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p31AFKPq001446 for ; Fri, 1 Apr 2011 12:15:23 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkBAJeklU3RVdK0mGdsb2JhbACeZAGGbwgUAQEBAQEICQ0HFCWIeZ1dilaCI4USL4hcAQEDBYVmBIVCh1mDWXWESDo X-IronPort-AV: E=Sophos;i="4.63,281,1299452400"; d="scan'208,217";a="79617211" Received: from mail-iy0-f180.google.com ([209.85.210.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Apr 2011 12:15:22 +0200 Received: by iyf40 with SMTP id 40so4889867iyf.39 for ; Fri, 01 Apr 2011 03:15:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:message-id:from:to:in-reply-to:content-type :mime-version:subject:date:references:x-mailer; bh=X7VMnsb5u1RdNCNpOOcDMheEqNS8ws0Z6IkOysjyW2k=; b=jotydF34GKuf0vqGVkCpK03AJQEOnGm1/9kLkWaNCkCzfAEJCYhhz0B/yle8jxOQP5 WlI0x/J0QUBO9j2nBdB06QSX3hdyM/8nmOlXTg7eXcbxrjk27vd9wLN5fa5BCLh0DKLd HDXOJMainwrgBpcakYChYwGYLneKDOnoan+ec= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type:mime-version:subject :date:references:x-mailer; b=k8m0vq72bXCYpUGyJHj5xxaOeFBLqcYo+NDzuDxIXYoMJvZ29YjB9SuvOwMdYniuNd bb+mtG9jG7VbwBHSBAZl0M28M0pOnaE2yA0/9X3mIAvTkgu2vUSyZQqeGEM0ynduhghY Xb6vTZ34VjvslLz4+CEsXYNA03RjrWl+Rxm7M= Received: by 10.42.246.70 with SMTP id lx6mr5383530icb.223.1301652920476; Fri, 01 Apr 2011 03:15:20 -0700 (PDT) Received: from [192.168.11.4] (user147084.clovernet.ne.jp [116.90.147.84]) by mx.google.com with ESMTPS id wo15sm1221613icb.16.2011.04.01.03.15.18 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 01 Apr 2011 03:15:19 -0700 (PDT) Message-Id: <1CABD2E5-4A59-48A3-A097-8447B2F7C688@gmail.com> From: mzp To: caml-list In-Reply-To: <4D9599FE.1040002@wp.pl> Content-Type: multipart/alternative; boundary=Apple-Mail-1--924314874 Mime-Version: 1.0 (Apple Message framework v936) Date: Fri, 1 Apr 2011 19:15:15 +0900 References: <4D9599FE.1040002@wp.pl> X-Mailer: Apple Mail (2.936) Subject: Re: [Caml-list] Re: Fwd: Hoogle for your language (i.e. F#, Scala, ML, Clean...) --Apple-Mail-1--924314874 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit > 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. --Apple-Mail-1--924314874 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: 7bit
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.

--Apple-Mail-1--924314874--