From: Leo White <lpw25@cam.ac.uk>
To: "forum@x9c.fr" <forum@x9c.fr>
Cc: Ashish Agarwal <agarwal1975@gmail.com>,
Francois Berenger <berenger@riken.jp>,
caml-list@inria.fr
Subject: Re: [Caml-list] OCaml search into libraries for ocaml.org
Date: 21 Dec 2012 15:31:41 +0000 [thread overview]
Message-ID: <Prayer.1.3.5.1212211531410.9328@hermes-1.csi.cam.ac.uk> (raw)
In-Reply-To: <61ED9223-BF51-46E8-B196-85AFAB360759@x9c.fr>
>For the record, I plan to extend Argot to be able to merge the data
>produced by different runs. You can see how Argot works on the
>standard library at the following address:
> http://argot.x9c.fr/distrib/argot-4.00-libref-frame/argot_index.html
>
>Currently the information is dumped as JavaScript calls to functions
>allowing to populate data structures. Now, one of the question is
>about the output format(s). From the top of my head:
> - json / xml, acting as lingua franca linking with other tools;
> - OCaml marshal format, enabling easy use from OCaml programs;
> - SQL insert commands, allowing to populate a database.
>
>I would be glad to get advice on this question, and also
>possible feature requests about Argot, whose homepage is:
> http://argot.x9c.fr
>
I am currently working on updating the front-end of ocamldoc, so that it
can output the inline documentation into a ".cmd" file, to accompany the
new ".cmt" files.
We hope to use this for generating the documentation for docs.ocaml.org, as
well as for generating local documentation for packages installed with
OPAM.
If Argot dumped its data in OCaml marshall format then it would be easy to
create OCaml tools that searched through collections of .cmd/.cmt files.
Regards,
Leo
next prev parent reply other threads:[~2012-12-21 15:31 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 [this message]
2012-12-21 19:57 ` AW: " Gerd Stolpmann
2012-12-21 20:22 ` Török Edwin
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=Prayer.1.3.5.1212211531410.9328@hermes-1.csi.cam.ac.uk \
--to=lpw25@cam.ac.uk \
--cc=agarwal1975@gmail.com \
--cc=berenger@riken.jp \
--cc=caml-list@inria.fr \
--cc=forum@x9c.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).