I just noticed a change in the behaviour of ocamlc that adversely affects a tool I maintain. In 4.03.0 (and earlier), the -i option only applies to the .ml files that follow it on the command line. In 4.04.0 (and later), the -i option applies to all .ml files on the command line. Is this change in behaviour intentional? Tim. Longer explanation ================== Given two files. a.ml: let f x = x + 1 b.ml: open A let g x = f x 1. In 4.03.0 (and earlier), typing either ocamlc a.ml -i b.ml or ocamlc -c a.ml; ocamlc a.ml -i b.ml prints val g : int -> int and generates a.cmi a.cmo 2. In 4.04.0 (and later), typing ocamlc a.ml -i b.ml prints val f : int -> int File "b.ml", line 1, characters 5-6: Error: Unbound module A and does not generate anything. 3. In 4.04.0 (and later), typing ocamlc -c a.ml; ocamlc a.ml -i b.ml prints val f : int -> int val g : int -> int and generates a.cmi a.cmo