diff options
| author | alainfrisch <alain@frisch.fr> | 2016-01-12 23:53:59 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-07-18 10:35:19 +0200 |
| commit | 32f0e2120ccf80eb47509436da5c75b12691614c (patch) | |
| tree | 0482bcb5ab2ecacb208ccd46590e25cb67a4b287 /typing/includemod.ml | |
| parent | 18cd8a6c0123e4ba6e7858d5bf2e7ed1e86316ef (diff) | |
| download | ocaml-32f0e2120ccf80eb47509436da5c75b12691614c.tar.gz | |
Detect unused module declarations.
Diffstat (limited to 'typing/includemod.ml')
| -rw-r--r-- | typing/includemod.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index 7b414ba5ed..a28f163588 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -389,6 +389,7 @@ and signature_components old_env env cxt subst paired = (pos, Tcoerce_none) :: comps_rec rem | (Sig_module(id1, mty1, _), Sig_module(_id2, mty2, _), pos) :: rem -> let p1 = Pident id1 in + Env.mark_module_used env (Ident.name id1) mty1.md_loc; let cc = modtypes env (Module id1::cxt) subst (Mtype.strengthen (Env.add_functor_arg id1 env) mty1.md_type p1) |