From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 50B1D7F0BA
	for <caml-list@sympa.inria.fr>; Mon,  6 Feb 2017 16:47:45 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A4Ze91xTk8Xnp1gm2Dt0Z+XxLctpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa64ZxWN2/xhgRfzUJnB7Loc0qyN4vymBjNLvsfJ8ChbNscTB1ld0Y?=
 =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?=
 =?us-ascii?q?Ora9QdaK3Iyfntq/8JzLYghOmCH1IfYrdE33/k3tsZw0iIB7N6sqgjTAuGFJdP?=
 =?us-ascii?q?lbjTdnLEiJnhnh6++19YJjtSJZtPUw/otdF6zxOaYgG+92FjMjZkw84szmsS7p?=
 =?us-ascii?q?2Q2d4npUBmkflBtFB07P8Rz8TJPwmibgrONh2TCHMIv9TeZnCnyZ8653RUqw22?=
 =?us-ascii?q?88PDkj/TSS05QogQ=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AABXmZhYhkpWN0pdDgwBAQEBAgEBA?=
 =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYQMhF6KCHKRGpU3ggyFEoEQAoMLGAEBAQE?=
 =?us-ascii?q?BAQEBAQEBEgEBAQgLCwodL4IzBAEWAQSCFwEFI1YQCxgCAiYCAkcQBhuJawSvD?=
 =?us-ascii?q?oIlizwBAQEHAQEBASSBC4owh1ougjEBBJtmk2yISg+GRpMMH4E2gSCEVYEyPIg?=
 =?us-ascii?q?7gU4BAQE?=
X-IPAS-Result: =?us-ascii?q?A0A3AABXmZhYhkpWN0pdDgwBAQEBAgEBAQEIAQEBARUBAQE?=
 =?us-ascii?q?BAgEBAQEIAQEBAYQMhF6KCHKRGpU3ggyFEoEQAoMLGAEBAQEBAQEBAQEBEgEBA?=
 =?us-ascii?q?QgLCwodL4IzBAEWAQSCFwEFI1YQCxgCAiYCAkcQBhuJawSvDoIlizwBAQEHAQE?=
 =?us-ascii?q?BASSBC4owh1ougjEBBJtmk2yISg+GRpMMH4E2gSCEVYEyPIg7gU4BAQE?=
X-IronPort-AV: E=Sophos;i="5.33,342,1477954800"; 
   d="scan'208";a="259065232"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Feb 2017 16:47:44 +0100
Received: from [172.20.10.2] (44.228.197.178.dynamic.wless.zhbmb00p-cgnat.res.cust.swisscom.ch [178.197.228.44])
	by smtp.webfaction.com (Postfix) with ESMTP id 6FB6E21A7861;
	Mon,  6 Feb 2017 15:46:03 +0000 (UTC)
Date: Mon, 6 Feb 2017 16:46:02 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: Francois BERENGER <francois.c.berenger@vanderbilt.edu>, OCaml
 Mailing List <caml-list@inria.fr>
Message-ID: <67BCE44C836B466EBD22FC5CE5A4CD13@erratique.ch>
In-Reply-To: <CC4FFB55-E373-4764-9AAB-19488A29A5D8@math.nagoya-u.ac.jp>
References: <20170127142246.919C212146E@mcclellan.cs.miami.edu>
 <416beaa2-9430-20fe-d8fa-e9f02761378f@vanderbilt.edu>
 <CC4FFB55-E373-4764-9AAB-19488A29A5D8@math.nagoya-u.ac.jp>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] where are we on the Hoogle for OCaml front?

On Saturday, 4 February 2017 at 04:58, Jacques Garrigue wrote:
> For search by type signature you can use Jun Furuse's OCamlOScope:

I'm a little bit curious. While I can see the benefit of having general full text search over value identifiers, type identifier and doc strings I was always a little bit dubious about type signature search -- in the end ML types for themselves are a rather weak specification language (I'm not talking about the invariants you may hide behind those of course).

So beyond curiosity searches are actually people seriously using this to lookup a value they might need ? 

Best, 

Daniel