[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Sylvain <Sylvain.Baro@l...> |
| Subject: | Re: Typing question |
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