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 PAA20057 for caml-red; Fri, 28 Jul 2000 15:18:38 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA16482 for ; Fri, 28 Jul 2000 11:04:50 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e6S94jn10109 for ; Fri, 28 Jul 2000 11:04:49 +0200 (MET DST) Received: from lambda.u-strasbg.fr (mail@lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id LAA32182; Fri, 28 Jul 2000 11:04:26 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.12 #1 (Debian)) id 13I68u-0008EJ-00; Fri, 28 Jul 2000 11:09:20 +0200 Date: Fri, 28 Jul 2000 11:09:20 +0200 From: Sven LUTHER To: Julian Assange Cc: caml-list@inria.fr Subject: Re: autogeneration of *.mli files Message-ID: <20000728110920.A31621@lambda.u-strasbg.fr> Reply-To: luther@dpt-info.u-strasbg.fr Mail-Followup-To: Sven LUTHER , Julian Assange , caml-list@inria.fr References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i In-Reply-To: ; from proff@iq.org on Wed, Jul 26, 2000 at 09:43:32PM +1000 Sender: weis@pauillac.inria.fr On Wed, Jul 26, 2000 at 09:43:32PM +1000, Julian Assange wrote: > > Thanks for all your comments on this issue. I'll try and respond more > tomorrow, but for now here's a quick summary of my thoughts: > > o The current mli situation is not nearly as bad as I was > previously led to believe. > > 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. Friendly, Sven LUTHER