From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 6E3D3BBAF for ; Fri, 4 Dec 2009 15:12:42 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgAAEOnGEtbeR7SkGdsb2JhbACcAgEBAQEJCQwHEwO6T4QzBA X-IronPort-AV: E=Sophos;i="4.47,341,1257116400"; d="scan'208";a="41374278" Received: from 27.mail-out.ovh.net ([91.121.30.210]) by mail1-smtp-roc.national.inria.fr with SMTP; 04 Dec 2009 15:12:42 +0100 Received: (qmail 31517 invoked by uid 503); 4 Dec 2009 14:50:11 -0000 Received: from b9.ovh.net (HELO mail614.ha.ovh.net) (213.186.33.59) by 27.mail-out.ovh.net with SMTP; 4 Dec 2009 14:50:11 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 4 Dec 2009 14:12:41 -0000 Received: from 81-64-224-234.rev.numericable.fr (HELO ?192.168.0.10?) (forum%x9c.fr@81.64.224.234) by ns0.ovh.net with SMTP; 4 Dec 2009 14:12:39 -0000 Subject: Re: [Caml-list] Hoogle for Ocaml Mime-Version: 1.0 (Apple Message framework v1077) Content-Type: text/plain; charset=iso-8859-1 From: "forum@x9c.fr" In-Reply-To: Date: Fri, 4 Dec 2009 15:12:39 +0100 Cc: forum@x9c.fr Content-Transfer-Encoding: quoted-printable Message-Id: <30D3A923-2E45-42B8-824A-95D50B987A7F@x9c.fr> References: To: caml-list@yquem.inria.fr X-Mailer: Apple Mail (2.1077) X-Ovh-Tracer-Id: 1789899377752081375 X-Ovh-Remote: 81.64.224.234 (81-64-224-234.rev.numericable.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam-Check: DONE|U 0.5/N X-Spam: no; 0.00; ocaml:01 haskell's:01 ocaml:01 pervasives:01 pervasives:01 2009:98 caml-list:01 int:01 int:01 matthias:02 seems:03 float:03 float:03 dec:05 ocamlbrowser:05 Le 3 d=E9c. 2009 =E0 17:08, Matthias G=F6rgens a =E9crit : > Hi, >=20 > Is there an equivalent to Haskell's Hoogle for Ocaml? There was a tool along those lines for CamlLight (but it seems to be = broken): http://www.dicosmo.org/TESTS/ENGLISH/CamlSearchCGI.english.html You should also notice that the search box of OCamlBrowser accepts = queries like "int -> float", returning : - Pervasives.float : int -> float - Pervasives.float_of_int : int -> float - Pervasives.ldexp : float -> int -> float Hope this helps, Xavier Clerc