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 (10:30)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] GODI Search

Am Mittwoch, den 23.04.2008, 10:39 +0200 schrieb Berke Durak:
> Hello,
> That's very nice work, Gerd.  Thanks.
> Just one improvement:  when I search for List.map, I get the
> cmi_pretty and the mli.  The mli should come
> first IMHO,

Yes, I agree. I was also thinking about aggregating files that probably
show the same module. That could look like:

List(.mli) - [value] from godi-ocaml (Score: 20000) 
list -> unit val map : ('a -> 'b) -> 'a list -> 'b list val rev_map :
('a -> 'b) -> 'a list -> 'b 

    Alternate Views: List(.cmi_pretty) List(.ml) ...

> 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 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

Thanks for your feedback,

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