From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 206E57F2AA for ; Fri, 21 Dec 2012 21:34:58 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.171 as permitted sender) identity=helo; client-ip=212.227.126.171; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwAAFLH1FDU436rk2dsb2JhbABFqyaSVBYOAQEBAQkJCwkUAySCHgEBBAEMYgsFHhANXQkSBhMJCYdvAwkKCKxXA4lfFIxDhEMDjWeJQJIh X-IronPort-AV: E=Sophos;i="4.84,331,1355094000"; d="scan'208";a="166579392" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2012 21:34:57 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-216-236.pools.arcor-ip.net [94.219.216.236]) by mrelayeu.kundenserver.de (node=mreu2) with ESMTP (Nemesis) id 0MflMO-1TOziO2ceS-00Nn9v; Fri, 21 Dec 2012 21:34:56 +0100 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 12C8CC00CF; Fri, 21 Dec 2012 21:34:55 +0100 (CET) Date: Fri, 21 Dec 2012 21:34:54 +0100 From: Gerd Stolpmann Reply-To: Gerd Stolpmann To: =?iso-8859-1?b?VPZy9ms=?= Edwin Cc: caml-list@inria.fr In-Reply-To: <50D4C51D.6000902@etorok.net> X-Mailer: Balsa 2.4.11 Message-Id: <1356122094.22153.12@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:WJviOarIMR/MxQD/Ux5WRGPivRrPZxuMjxEIRCPkvK6 lbMzpYfKEKqopKNI2SCn6qEy3guhfAwlTPEKrCIhYCg3SafII0 730EwnvSltczVCRUREdRwGJKGK+upV1q6Gw9F75lV5GBBqKb1k NF/EysLhUSzwvCYSFbhs6NAuFUT9H5gSdbWB+1Kfg9O8Ol2EWs 7iHFJXaJv0mcdXi4PmICScaEjljGo3vieGKzNLtN9bDUQzUSAD mTUAlgJzBqwEylybQyBHrTrpuy5G9Im5lW0SVj+qBqzSjXGX5T Z7PduGswa31G0iXV9X7EXkxBMKUdHLl/1qF4VB6TJk8e56w+3V LsHAE0mprDZjVrTJTZ00= Subject: AW: AW: [Caml-list] OCaml search into libraries for ocaml.org Am 21.12.2012 21:22:53 schrieb(en) T=F6r=F6k Edwin: > On 12/21/2012 09:57 PM, Gerd Stolpmann wrote: > > Am 21.12.2012 02:31:54 schrieb(en) Francois Berenger: >=20 > >> 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=20=20 > sources as basis. When I developed this page, that was simply not the=20= =20 > 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=20= =20 > to add such a search (so far there is an encoding for a full-text=20=20 > 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=20= =20 > add OASIS packages (very soon), but I won't support another format. >=20 > How about supporting type search for all packages in GODI then? > search.ocaml.jp only supports stdlib and extlib, supporting search=20=20 > among all GODI packages would certainly be an improvement. Yes. I just need to figure out how to smuggle -bin-annot into all=20=20 builds. The rest seems to be a relatively moderate extension of the=20=20 existing code. Maybe when Xmas gets too boring... Gerd > Best regards, > --Edwin >=20 > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=