From 916d37b93c8ad0e2fbe98377093726baf051b708 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 5 Feb 2024 09:32:10 +0100
Subject: Ignore the global checkers if there is a syntax error; ignore error
 during recovery after a syntax error

---
 lib/syntax/S.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/syntax')

diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml
index e691b38..b467863 100644
--- a/lib/syntax/S.ml
+++ b/lib/syntax/S.ml
@@ -114,6 +114,12 @@ module type Analyzer = sig
   (** Is the test active or not *)
 
   val is_global : bool
+  (** Declare the checker as global. It requires to run over the whole file and
+      will be disabled if the application only check a single location. 
+
+      Also, the test will be disabled if a syntax error is reported during the
+      parsing, because this tell that I haven’t been able to analyse the whole
+      source code. *)
 
   type context
   (** Context used to keep information during the whole test *)
-- 
cgit v1.2.3