diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-30 15:56:46 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-30 15:56:46 +0000 |
| commit | 272d5404b739ea5876d10292efca711cb16a5f8c (patch) | |
| tree | 3b7a8f17fd75358249b2d7f8408384c2390f2e4f /typing/env.ml | |
| parent | 507c17bfa77c6d84fdd248dbd267ab81811de579 (diff) | |
| download | ocaml2.tar.gz | |
Correction du bug signale par C.Rinderknecth (composantes mal calculees pour un module dont le type est un nom de type de module defini dans le meme module)ocaml2
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ocaml2@2650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/env.ml')
| -rw-r--r-- | typing/env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/env.ml b/typing/env.ml index 21ea31197a..aac175077f 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -463,7 +463,7 @@ let rec components_of_module env sub path mty = let decl' = Subst.modtype_declaration sub decl in c.comp_modtypes <- Tbl.add (Ident.name id) (decl', nopos) c.comp_modtypes; - env := store_modtype id path decl' !env + env := store_modtype id path decl !env | Tsig_class(id, decl) -> let decl' = Subst.class_declaration sub decl in c.comp_classes <- |