diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-04-16 06:16:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-04-16 06:16:05 +0000 |
| commit | 5db6318900ed72dbab92c45cf09a6c53656f3697 (patch) | |
| tree | acff2957a2c8e9584e5f357836d607a6fc13b850 /typing/mtype.ml | |
| parent | 774e30e138dc22a5acd6cfac03ae25194ae8cd6e (diff) | |
Fix PR#6371
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/mtype.ml')
| -rw-r--r-- | typing/mtype.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/mtype.ml b/typing/mtype.ml index 9fa63f5c9..74023d825 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -342,6 +342,7 @@ let collect_arg_paths mty = in let it = {type_iterators with it_path; it_signature_item} in it.it_module_type it mty; + it.it_module_type unmark_iterators mty; PathSet.fold (fun p -> IdentSet.union (collect_ids !subst !bindings p)) !paths IdentSet.empty |