diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-03-03 04:31:16 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-03-03 04:31:16 +0000 |
| commit | ebd107b3ac7714ffae49b3a81fbcc227b0b08d49 (patch) | |
| tree | 9cfea319c91a1e6035eb65fb7dfc29153ed3d66d | |
| parent | cc0cb7a5089d41cb73e74df5113936e33b83eaf4 (diff) | |
| download | ocaml-ebd107b3ac7714ffae49b3a81fbcc227b0b08d49.tar.gz | |
handle dependencies
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sigsubst@9632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/depend.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 57c9fd0172..18687941f6 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -178,7 +178,9 @@ and add_modtype bv mty = add_modtype bv mty; List.iter (function (_, Pwith_type td) -> add_type_declaration bv td - | (_, Pwith_module lid) -> addmodule bv lid) + | (_, Pwith_module lid) -> addmodule bv lid + | (_, Pwith_typesubst (c, _)) -> add bv c + | (_, Pwith_modsubst lid) -> addmodule bv lid) cstrl and add_signature bv = function |