caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Berke Durak <berke.durak@gmail.com>
Cc: caml-list caml-list <caml-list@inria.fr>,
	godi-list <godi-list@ocaml-programming.de>
Subject: Re: [Caml-list] GODI Search
Date: Wed, 23 Apr 2008 12:31:02 +0200	[thread overview]
Message-ID: <1208946662.13856.7.camel@flake.lan.gerd-stolpmann.de> (raw)
In-Reply-To: <b903a8570804230139l16265574s453e5f2299dadf02@mail.gmail.com>


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

Thanks for your feedback,

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



  reply	other threads:[~2008-04-23 10:30 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-04-21 22:30 Gerd Stolpmann
2008-04-23  8:39 ` [Caml-list] " Berke Durak
2008-04-23 10:31   ` Gerd Stolpmann [this message]
2008-04-23 10:45     ` Berke Durak
2008-04-23 12:17       ` Gerd Stolpmann
2008-04-23 10:24 ` Mehdi
2008-04-23 10:33   ` Gerd Stolpmann
2008-04-23 13:03     ` Stefano Zacchiroli

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=1208946662.13856.7.camel@flake.lan.gerd-stolpmann.de \
    --to=info@gerd-stolpmann.de \
    --cc=berke.durak@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=godi-list@ocaml-programming.de \
    /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).