From 11533785773269d9632ef8925ed34ea2d541818b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 16 May 2019 14:32:09 +0200
Subject: Fix #10176: shadowing vs automatic class based generalization

---
 library/libnames.ml  | 3 +++
 library/libnames.mli | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'library')

diff --git a/library/libnames.ml b/library/libnames.ml
index 87c4de42e8..41b38e0378 100644
--- a/library/libnames.ml
+++ b/library/libnames.ml
@@ -162,6 +162,9 @@ let qualid_basename qid =
 let qualid_path qid =
   qid.CAst.v.dirpath
 
+let idset_mem_qualid qid s =
+  qualid_is_ident qid && Id.Set.mem (qualid_basename qid) s
+
 (* Default paths *)
 let default_library = Names.DirPath.initial (* = ["Top"] *)
 
diff --git a/library/libnames.mli b/library/libnames.mli
index bbb4d2a058..7d77d95991 100644
--- a/library/libnames.mli
+++ b/library/libnames.mli
@@ -88,6 +88,9 @@ val qualid_is_ident : qualid -> bool
 val qualid_path : qualid -> DirPath.t
 val qualid_basename : qualid -> Id.t
 
+val idset_mem_qualid : qualid -> Id.Set.t -> bool
+(** false when the qualid is not an ident *)
+
 (** {6 ... } *)
 
 (** some preset paths *)
-- 
cgit v1.2.3