diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-25 21:34:25 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-10-25 21:34:25 +0000 |
commit | 64c80892fcd270b6a0edf4835e5ac231dbb29e0b (patch) | |
tree | cee567b6c2e743ddacb6ff7346e5077b1f9a6b5c /typing | |
parent | e4626b17e3d92945c210be906024de0a442fed18 (diff) | |
download | ocaml-64c80892fcd270b6a0edf4835e5ac231dbb29e0b.tar.gz |
Bug dans check_unique_names : les classes produisent des abreviations...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing')
-rw-r--r-- | typing/typemod.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/typemod.ml b/typing/typemod.ml index 8718fb7b36..e0e27ca4d5 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -208,7 +208,11 @@ let check_unique_names sg = | Pstr_modtype(name, decl) -> check "module type" item.pstr_loc modtype_names name | Pstr_open lid -> () - | Pstr_class decl -> () + | Pstr_class decl -> + List.iter + (fun {pcl_name = name} -> + check "type" item.pstr_loc type_names name) + decl in List.iter check_item sg |