Re: Typing question

From: Sylvain (Sylvain.Baro@lip6.fr)
Date: Tue Oct 26 1999 - 12:35:55 MET DST


Date: Tue, 26 Oct 1999 12:35:55 +0200 (CEST)
From: Sylvain <Sylvain.Baro@lip6.fr>
To: luther@dpt-info.u-strasbg.fr
Subject: Re: Typing question
In-Reply-To: <19991026100246.A18934@maxime.u-strasbg.fr>

Hello,

yes, but the mli file is compiled correctly, but it seems that the cmi
file is no more compatible with the ml file...

>
> Some time ago i was told that the -i flag not always produce a syntax-correct mli file.
>
> Friendly,
>
> Sven LUTHER
>

-- 

Sylvain Baro Sylvain.Baro@lip6.fr



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET