Comment author: @garrigue

Fixed in trunk and 4.00, revisions 12878 and 12879.

Comment author: @lefessan

Are you sure it is fixed ? Compiling latest SVN does not solve the problem for me:

$ touch a.ml
$ touch d.ml
$ cat > c.ml
module type B = sig val x : int end
let f (module A : B) = A.x
module X = struct let x = 4 end;;
let (module D : B) = (module X : B ) in D.x;;
$ ocamlc -c c.ml
(works, no dependency on a.ml and d.ml)
$ ocamldep c.ml
c.cmo : d.cmo a.cmo
c.cmx : d.cmx a.cmx
(dependencies are still there)

Comment author: @lefessan

Jacques, could you check if it is fixed, and maybe try my patch that I was about to submit (attached to the bug report).

Comment author: @garrigue

Sorry, I got confused by Ppat_type :-)
Fixed properly now, almost using Fabrice's code.

Comment author: @lefessan

and add_bindings recf bv pel =
let bv' = List.fold_left (fun bv (p, _) -> add_pattern bv p) bv pel in

let bv = if recf = Recursive then bv else bv' in
List.iter (fun (_, e) -> add_expr bv e) pel;
bv'

Isn't it

let bv = if recf = Recursive then bv' else bv in

instead ?

Comment author: @garrigue

Sorry, I'm too sleepy today.
I should have reused your code for this part.

By the way, the use of a mutable variable for patterns is intentional:
the module only comes in scope after processing the whole pattern.