English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
GODI Search
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-04-23 (12:16)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] GODI Search

Am Mittwoch, den 23.04.2008, 12:45 +0200 schrieb Berke Durak:
> On Wed, Apr 23, 2008 at 12:31 PM, Gerd Stolpmann
> <info@gerd-stolpmann.de> wrote:
>         > and when I click on the link, it should directly jump to the
>         > definition of List.map which contains
>         > the Ocamldoc as a comment.
>         This is implemented. Have a closer look: You can click on the
>         title of
>         the file (List) and directly on "map". If you do the latter,
>         it jumps
>         directly to the definition. However, this works only for text
>         files and
>         not for html files.
> The focus is lost when I select another tab.  For instance when I
> click on
> the list.mli tab after having selected the list.ml result.

Right. I am not sure how to address this. I would like to avoid that any
"?" parameters appear in the result list, because the "real" search
engines like Google would interpret then every occurrence of a word as
different document, e.g. list.mli?q=map and list.mli?q=fold_left would
be seen as two different docs.

>         > The next step would be to parse the Ocamldoc and
>         pretty-print it but
>         > it's quite usable as it is now.
>         The Ocamldoc parser is only half-completed, but I am already
>         working on
>         this.
> Will you be able to handle all the traffic when people start using
> GODI search
> for browsing the APIs? We don't want to bankrupt you :)

I'm well-prepared for a storm of queries :-)

Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714