Date: Tue, 26 Oct 1999 12:35:55 +0200 (CEST)
From: Sylvain <Sylvain.Baro@lip6.fr>
Subject: Re: Typing question
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.
> Sven LUTHER
Sylvain Baro Sylvain.Baro@lip6.fr
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET