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). -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
