From fd33e3875b872f8b83c350427a9809e68d7fe009 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 2 Jun 2018 21:04:27 +0200
Subject: Fixes #7636: location missing on deprecated compatibility notations.

---
 interp/syntax_def.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'interp/syntax_def.ml')

diff --git a/interp/syntax_def.ml b/interp/syntax_def.ml
index 47faa5885c..a4f20fd739 100644
--- a/interp/syntax_def.ml
+++ b/interp/syntax_def.ml
@@ -96,13 +96,13 @@ let warn_compatibility_notation =
   CWarnings.(create ~name:"compatibility-notation"
                     ~category:"deprecated" ~default:Enabled pr_compat_warning)
 
-let verbose_compat kn def = function
+let verbose_compat ?loc kn def = function
   | Some v when Flags.version_strictly_greater v ->
-     warn_compatibility_notation (kn, def, v)
+     warn_compatibility_notation ?loc (kn, def, v)
   | _ -> ()
 
-let search_syntactic_definition kn =
+let search_syntactic_definition ?loc kn =
   let pat,v = KNmap.find kn !syntax_table in
   let def = out_pat pat in
-  verbose_compat kn def v;
+  verbose_compat ?loc kn def v;
   def
-- 
cgit v1.2.3