From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: "Török Edwin" <edwin+ml-ocaml@etorok.net>
Cc: caml-list@inria.fr
Subject: AW: AW: [Caml-list] OCaml search into libraries for ocaml.org
Date: Fri, 21 Dec 2012 21:34:54 +0100 [thread overview]
Message-ID: <1356122094.22153.12@samsung> (raw)
In-Reply-To: <50D4C51D.6000902@etorok.net>
Am 21.12.2012 21:22:53 schrieb(en) Török Edwin:
> 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.
Yes. I just need to figure out how to smuggle -bin-annot into all
builds. The rest seems to be a relatively moderate extension of the
existing code. Maybe when Xmas gets too boring...
Gerd
> Best regards,
> --Edwin
>
> --
> 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
>
>
--
------------------------------------------------------------
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
------------------------------------------------------------
next prev parent reply other threads:[~2012-12-21 20:34 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
2012-12-21 20:34 ` Gerd Stolpmann [this message]
2012-12-21 20:37 ` AW: " 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=1356122094.22153.12@samsung \
--to=info@gerd-stolpmann.de \
--cc=caml-list@inria.fr \
--cc=edwin+ml-ocaml@etorok.net \
--cc=gerd@edgespring.com \
/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