From: "Török Edwin" <edwin+ml-ocaml@etorok.net>
To: caml-list@inria.fr
Subject: Re: AW: [Caml-list] OCaml search into libraries for ocaml.org
Date: Fri, 21 Dec 2012 22:22:53 +0200 [thread overview]
Message-ID: <50D4C51D.6000902@etorok.net> (raw)
In-Reply-To: <1356119832.22153.10@samsung>
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
next prev parent reply other threads:[~2012-12-21 20:22 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-20 23:15 [Caml-list] OCaml wiki Wojciech Meyer
2012-12-20 23:19 ` Malcolm Matalka
2012-12-20 23:22 ` Anil Madhavapeddy
2012-12-20 23:31 ` Benedikt Meurer
2012-12-20 23:34 ` Anil Madhavapeddy
2012-12-20 23:38 ` Malcolm Matalka
2012-12-20 23:50 ` Wojciech Meyer
2012-12-21 2:49 ` Ashish Agarwal
2012-12-21 8:37 ` Philippe Veber
2012-12-21 9:13 ` Fermin Reig
2012-12-21 9:39 ` Philippe Veber
2012-12-21 13:05 ` Wojciech Meyer
2012-12-21 13:31 ` Adrien
2012-12-21 16:39 ` Ashish Agarwal
2012-12-21 15:33 ` Siraaj Khandkar
2012-12-21 17:52 ` Siraaj Khandkar
2012-12-21 13:00 ` Hezekiah M. Carty
2012-12-21 1:31 ` [Caml-list] OCaml search into libraries for ocaml.org Francois Berenger
2012-12-21 2:57 ` Ashish Agarwal
2012-12-21 7:34 ` forum
2012-12-21 15:31 ` Leo White
2012-12-21 19:57 ` AW: " Gerd Stolpmann
2012-12-21 20:22 ` Török Edwin [this message]
2012-12-21 20:34 ` AW: " Gerd Stolpmann
2012-12-21 20:37 ` Edgar Friendly
2012-12-21 20:41 ` AW: " Gerd Stolpmann
2012-12-21 20:48 ` Library install standards (was: Re: AW: AW: AW: [Caml-list] OCaml search into libraries for ocaml.org) Edgar Friendly
2012-12-21 20:59 ` [Caml-list] Re: Library install standards Török Edwin
2012-12-21 23:47 ` AW: " Gerd Stolpmann
2012-12-21 16:20 ` [Caml-list] OCaml wiki Vincent Balat
2012-12-21 16:45 ` Ashish Agarwal
2012-12-23 14:53 ` Vincent Balat
2012-12-25 1:14 ` Ashish Agarwal
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=50D4C51D.6000902@etorok.net \
--to=edwin+ml-ocaml@etorok.net \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).