Re: Typing question

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

Next message: Frank A. Christoph: "RE: Request for Ideas: i18n issues"
Previous message: Benoit Deboursetty: "Go for ultimate localization!"
Next in thread: skaller: "Re: Typing question"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: Frank A. Christoph: "RE: Request for Ideas: i18n issues"
Previous message: Benoit Deboursetty: "Go for ultimate localization!"
Next in thread: skaller: "Re: Typing question"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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