From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA26542 for caml-redistribution; Thu, 28 Oct 1999 19:07:01 +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 MAA11855 for ; Tue, 26 Oct 1999 12:36:02 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id MAA12113 for ; Tue, 26 Oct 1999 12:36:01 +0200 (MET DST) Received: from spi.lip6.fr (monbazillac.lip6.fr [132.227.82.65]) by isis.lip6.fr (8.8.8/jtpda-5.2.9.1+lip6) with ESMTP id MAA21633 ; Tue, 26 Oct 1999 12:35:59 +0200 (MET DST) Received: from samael.lip6.fr (baro@samael.ufr-info-p6.jussieu.fr [132.227.89.21]) by spi.lip6.fr (8.8.6/jtpda-5.2) with ESMTP id MAA05761 ; Tue, 26 Oct 1999 12:35:56 +0200 (MET DST) Received: from localhost (baro@localhost) by samael.lip6.fr (8.8.7/jtpda-5.2) with ESMTP id MAA15358 ; Tue, 26 Oct 1999 12:35:56 +0200 Date: Tue, 26 Oct 1999 12:35:55 +0200 (CEST) From: Sylvain To: luther@dpt-info.u-strasbg.fr cc: caml-list@inria.fr Subject: Re: Typing question In-Reply-To: <19991026100246.A18934@maxime.u-strasbg.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis 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