summaryrefslogtreecommitdiff
path: root/typing
diff options
context:
space:
mode:
Diffstat (limited to 'typing')
-rw-r--r--typing/typemod.ml6
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