From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA13242 for caml-red; Thu, 3 Aug 2000 15:18:44 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA05027 for ; Thu, 3 Aug 2000 07:45:13 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e735j7r13756 for ; Thu, 3 Aug 2000 07:45:11 +0200 (MET DST) Received: from localhost (sansho.kurims.kyoto-u.ac.jp [130.54.16.90]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id OAA02795; Thu, 3 Aug 2000 14:44:58 +0900 (JST) To: luther@dpt-info.u-strasbg.fr Cc: caml-list@inria.fr Subject: Re: autogeneration of *.mli files In-Reply-To: Your message of "Fri, 28 Jul 2000 11:09:20 +0200" <20000728110920.A31621@lambda.u-strasbg.fr> References: <20000728110920.A31621@lambda.u-strasbg.fr> X-Mailer: Mew version 1.93 on Emacs 20.4 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20000803144421O.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 03 Aug 2000 14:44:21 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Sender: weis@pauillac.inria.fr From: Sven LUTHER > > o I didn't know about ocaml -c -i > > But notice that the -i output is not at all times a good .mli file, > especially i think there have been problems when object are > concerned (well that was with 2.04). Don't know details, but there > must be a post in the lists archive about it. This should be much better since 2.99. There are still some small problems in 3.00, corrected in CVS. Since ocamlbrowser uses the same printer, and has too parse such generated interfaces, any bug here would be a bug in ocamlbrowser. Jacques