Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error

1 files changed, 6 insertions, 0 deletions

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 *)