Date: Tue, 4 Mar 2003 10:50:49 +0100
From: Maxence Guesdon <maxence.guesdon at inria.fr>
To: Jacques Garrigue <garrigue at kurims.kyoto-u.ac.jp>
Cc: jerome.marant at free.fr, lablgtk at kaba.or.jp
Subject: Re: Using the direct bindings
Message-Id: <20030304105049.33026103.maxence.guesdon at inria.fr>
In-Reply-To: <20030304184657U.garrigue at kurims.kyoto-u.ac.jp>
References: <1046767789.3e6468ad4355a at imp.free.fr>
	<20030304182023J.garrigue@kurims.kyoto-u.ac.jp>
	<1046770247.3e647247dd6ac@imp.free.fr>
	<20030304184657U.garrigue@kurims.kyoto-u.ac.jp>
Organization: INRIA
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable


> From: J=E9r=F4me Marant <jerome.marant@free.fr>
>=20
> > AFAIK, you don't provide .mli files for most gtk*.ml files because
> > they are currently ment to be used by the upper layer only.
>=20
> Not at all. This is just because they are basically a big bunch of
> externals, and the .mli would be remarkably similar to the .ml.
> There is almost nothing to abstract in them.
>=20
> I do not document them actively because it is much simpler to use the
> object layer, but if you want to use tham, and even request some
> improvements to make them more practical, this should be possible.
>=20
> > So, ocamlbrowser is capable of production mli files from ml files,
> > is that was you meant?
>=20
> Not exactly: it can display the contents of a .cmi.
> It's true that you can then cut and past this contents to a file if
> you really prefer it in that form.
> For a library the size of lablgtk, I believe you really need to use
> something like ocamlbrowser to navigate the types.

You can also create a dump of the doc with ocamldoc and browse it with
docbrowser, from the cameleon distribution ;-)

--=20
Maxence Guesdon