From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <edwin+ml-ocaml@etorok.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 5625C7F2AA
	for <caml-list@sympa.inria.fr>; Fri, 21 Dec 2012 21:22:58 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  edwin+ml-ocaml@etorok.net) identity=pra;
  client-ip=176.9.138.55;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="edwin+ml-ocaml@etorok.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  edwin+ml-ocaml@etorok.net designates 176.9.138.55 as
  permitted sender) identity=mailfrom; client-ip=176.9.138.55;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="edwin+ml-ocaml@etorok.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  postmaster@mail.etorok.net designates 176.9.138.55 as
  permitted sender) identity=helo; client-ip=176.9.138.55;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="edwin+ml-ocaml@etorok.net";
  x-sender="postmaster@mail.etorok.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AloHAOHD1FCwCYo3/2dsb2JhbABFg0i6MhZzgh4BAQQBQAEBNgIPCxgJFg8JAwIBAgFFEwgCiAkKolqEOgEFjx4GjFeBGoMplg6BHIRPil2Cdg
X-IronPort-AV: E=Sophos;i="4.84,331,1355094000"; 
   d="scan'208";a="166578881"
Received: from mail.etorok.net ([176.9.138.55])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Dec 2012 21:22:57 +0100
Received: from [172.30.42.2] (unknown [79.114.30.32])
	by mail.etorok.net (Postfix) with ESMTPSA id AAB2046B3
	for <caml-list@inria.fr>; Fri, 21 Dec 2012 21:22:56 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=etorok.net;
	s=MAILOUT; t=1356121376;
	bh=/tMEhdq2w6oafnVWsEBkzxNyoSWYNxKby7ygHGjjHzU=;
	h=Message-ID:Date:From:MIME-Version:To:Subject:References:
	 In-Reply-To:Content-Type:Content-Transfer-Encoding;
	b=l/zWHxXXKClRp0KDODyG1kNlpQId4jbkJdDekB+iht0bNfN87Q9C0TFk+BiQk8lkQ
	 olgWu8rBp1ysXbCnprIXAc2OPBcO8BE512iHKltqSP22kdTWs95Uz/GYRLRRiMB2fr
	 FjjFrrt5q3svMUzj5JJU6x4brEEsvFA/94H0d7O0=
Message-ID: <50D4C51D.6000902@etorok.net>
Date: Fri, 21 Dec 2012 22:22:53 +0200
From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= <edwin+ml-ocaml@etorok.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20121122 Icedove/10.0.11
MIME-Version: 1.0
To: caml-list@inria.fr
References: <1356119832.22153.10@samsung>
In-Reply-To: <1356119832.22153.10@samsung>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: clamav-milter 0.97.6 at mail
X-Virus-Status: Clean
Subject: Re: AW: [Caml-list] OCaml search into libraries for ocaml.org

On 12/21/2012 09:57 PM, Gerd Stolpmann wrote:
> Am 21.12.2012 02:31:54 schrieb(en) Francois Berenger:

>> However, I'd like the search engine to be able to
>> do search by type queries, "a la" Hoogle and as in:
>> http://search.ocaml.jp/
> 
> No, it cannot do this. That's because it doesn't use compiled sources as basis. When I developed this page, that was simply not the first priority, I also wanted to make sources searchable that cannot
> be built, or that are just examples.
> 
> Now that the compiler can dump the type expressions, it is possible to add such a search (so far there is an encoding for a full-text search engine).
> 
>> But it should index more libraries. For example, all
>> packages available in OPAM.
> 
> Sorry, as GODI inventor I'm the wrong address here. I have plans to add OASIS packages (very soon), but I won't support another format.

How about supporting type search for all packages in GODI then?
search.ocaml.jp only supports stdlib and extlib, supporting search among all GODI packages would certainly be an improvement.

Best regards,
--Edwin