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

[moosotc@gmail.com]

moosotc@gmail.com writes:

> 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:
>

Better this (with safety nets in form of added -Is)

[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 -I o -I d -c -o o/a.cmo a.ml
md5sum o/a.cmi
+ rm -fr 'a*' 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 -I o -I d -c -o o/a.cmo a.ml
+ md5sum o/a.cmi
bc44d889df40c61e43dbd94535ffd614  o/a.cmi

[..snip..]

>
> 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