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 TAA31040 for caml-redistribution; Thu, 28 Oct 1999 19:06:20 +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 KAA01780 for <caml-list@pauillac.inria.fr>; Tue, 26 Oct 1999 10:01:40 +0200 (MET DST)
Received: from maxime.u-strasbg.fr (maxime.u-strasbg.fr [130.79.75.36])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA08496
	for <caml-list@inria.fr>; Tue, 26 Oct 1999 10:01:34 +0200 (MET DST)
Received: (from luther@localhost)
	by maxime.u-strasbg.fr (8.8.7/8.8.7) id KAA18964;
	Tue, 26 Oct 1999 10:02:46 +0200 (MET DST)
Message-ID: <19991026100246.A18934@maxime.u-strasbg.fr>
Date: Tue, 26 Oct 1999 10:02:46 +0200
From: Sven LUTHER <luther@maxime.u-strasbg.fr>
To: Sylvain <Sylvain.Baro@lip6.fr>, caml-list@inria.fr
Subject: Re: Typing question
Reply-To: luther@dpt-info.u-strasbg.fr
References: <Pine.LNX.4.04.9910251706200.10582-100000@samael.ufr-info-p6.jussieu.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.93.2
In-Reply-To: <Pine.LNX.4.04.9910251706200.10582-100000@samael.ufr-info-p6.jussieu.fr>; from Sylvain on Mon, Oct 25, 1999 at 05:07:58PM +0200
Sender: weis

On Mon, Oct 25, 1999 at 05:07:58PM +0200, Sylvain wrote:
> Hello,
> 
> I tried to compile this file "foobar.ml" issuing 
> 
> ocamlc -c -i foobar.ml > foobar.mli
> ocamlc -c -i foobar.mli
> ocamlc -c foobar.ml

Some time ago i was told that the -i flag not always produce a syntax-correct mli file.

Friendly,

Sven LUTHER