Re: [Caml-list] a question about "ocamlopt" and "ocamldep"

["Matej Košík" <5764c029b688c1c0d24a2e97cd764f@gmail.com>]

On 03/14/2012 11:23 AM, Gabriel Scherer wrote:
>> :-(
> 
> I don't understand. Why is it sad to have the *ability* to perform
> cross-module implementation-dependent optimizations (at the inevitable
> cost of locally damaging separate compilation) *if* you wish?

There are two scenarios when I use the compiler:

Scenario 1 (most frequent): when I want to incrementally remove typing
errors during development. Various optimizations do not matter here.
What matters is a short time to rebuild everything (that has to be rebuilt).

Scenario 2 (rare one): to produce the final product
where quality of various optimizations matter more than
the amount of required compilation time

If dropping dependencies of *.cmx files on other *.cmx files (rather
than on *.cmi files) requires manual intervention or careful thinking,
then ocamlopt, with this behavior, is not ideal tool for Scenario 1
(while still being perfectly suitable for Scenario 2).