Re: [Caml-list] Interface(.mli) location

[moosotc@gmail.com]

moosotc@gmail.com writes:

> David Allsopp <dra-news@metastack.com> writes:
>
[..snip..]

>>> 
>>> d) Make the compiler skip generation of .cmi if it sees one in the -I
>>>    directories?
>>
>> No - I think the use-case is too niche to justify breaking backwards
>> compatibility. That's potentially a very subtle way to break someone
>> else's existing build system. The existing behaviour is precisely
>> documented in the manual (even if it's not necessarily the best
>> approach).
>>
>
> Original post asked for either change of behavior or documentation, I
> failed to find the precise documentation, care pointing out where
> exactly things are described in the manual?

Also, consider this:

[malc@linmac2 mli]$ cat repro2.sh; sh repro2.sh
#!/bin/sh
set -x
rm -fr a* d o

mkdir -p o d

echo 'type a = int and b = int' >a.ml
echo 'type a = int' >d/a.mli

ocamlc -c -o o/a.cmi d/a.mli
md5sum o/a.cmi
ocamlc -c -o o/a.cmo a.ml
md5sum o/a.cmi
+ rm -fr a.ml d o
+ mkdir -p o d
+ echo 'type a = int and b = int'
+ echo 'type a = int'
+ ocamlc -c -o o/a.cmi d/a.mli
+ md5sum o/a.cmi
dddf074fdfa94cad226485870c617116  o/a.cmi
+ ocamlc -c -o o/a.cmo a.ml
+ md5sum o/a.cmi
bc44d889df40c61e43dbd94535ffd614  o/a.cmi

IOW compilation of a.ml will override .cmi produced by compilation of
a.mli, the point, I guess, is that there's a lot to specify here.

-- 
mailto:moosotc@gmail.com