To: lablgtk at kaba.or.jp Subject: [feature request] producing .mli file with lablgladecc2 From: David MENTRE Organization: none Date: Sun, 12 Sep 2004 18:32:16 +0200 Message-ID: <87hdq3la7j.fsf at linux-france.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: David Hello, 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. Yours, david -- David Mentré