Date: Mon, 13 Sep 2004 09:41:37 +0900 (JST) Message-Id: <20040913.094137.68554369.garrigue at kurims.kyoto-u.ac.jp> To: dmentre at linux-france.org Cc: lablgtk at kaba.or.jp Subject: Re: [feature request] producing .mli file with lablgladecc2 From: Jacques GARRIGUE In-Reply-To: <87hdq3la7j.fsf at linux-france.org> References: <87hdq3la7j.fsf at linux-france.org> Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: David MENTRE > I would find useful if lablgladecc2 could produce the .mli containing > the types of produced .ml file in parallel with this .ml file. > > Knowing the type of widgets helps to navigate in the doc. > > This is a feature request and is certainly not a show stopper, as I can > use 'ocamlc -i' to produce it. And ocamlbrowser is your friend too. Not that it would be difficult to add such an output. Jacques