ocamldep does not take included module types into account. #5870
Assignees
Labels
Comments
|
Comment author: @bobzhang I also hope that ocamldep can go a bit into the typing level to guarantee its correctness |
|
Comment author: jm see also: #5624 |
|
Comment author: @alainfrisch This is not really related to #5624, which gives a case where ocamldep failed to report real dependencies. It is rather similar to #4081, and this is a well-known class of limitations of ocamldep. ocamldep is a very syntactic tool. One could indeed argue that it could do some kind of downgraded type-checking to address simple cases like the one provided here, but it is not clear where to stop and it would be difficult to provide a clear specification of what is done. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 5870
Reporter: jm
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2013-01-02T16:08:24Z)
Resolution: suspended
Priority: high
Severity: major
Version: 4.00.1
Category: tools (ocaml{lex,yacc,dep,debug,...})
Related to: #7470
Bug description
% head -n -0 *.ml
==> a.ml <==
==> t.ml <==
module type M
= sig
module A
: sig
type t
end
end
module type MM
= sig
include M
val a : A.t
end
% ocamlc -i t.ml
module type M = sig module A : sig type t end end
module type MM = sig module A : sig type t end val a : A.t end
% ocamldep t.ml
t.cmo : a.cmo
t.cmx : a.cmx
This dependency on a.cm[ox] should not be.
The text was updated successfully, but these errors were encountered: