From 412a96a5c3560fee1adad87a3ba1aa1d324ab039 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 8 Dec 2018 14:45:28 +0100
Subject: Fixes #9166 (no warning on pattern variables named like a deprecated
 alias).

---
 interp/syntax_def.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'interp/syntax_def.ml')

diff --git a/interp/syntax_def.ml b/interp/syntax_def.ml
index b73d238c22..49273c4146 100644
--- a/interp/syntax_def.ml
+++ b/interp/syntax_def.ml
@@ -105,3 +105,10 @@ let search_syntactic_definition ?loc kn =
   let def = out_pat pat in
   verbose_compat ?loc kn def v;
   def
+
+let search_filtered_syntactic_definition ?loc filter kn =
+  let pat,v = KNmap.find kn !syntax_table in
+  let def = out_pat pat in
+  let res = filter def in
+  (match res with Some _ -> verbose_compat ?loc kn def v | None -> ());
+  res
-- 
cgit v1.2.3