Defensive programming on potential infinite loop with Eof on lident recovery.

cristianoc · cristianoc · commit eeaa86fc35ca · 2022-06-16T02:04:05.000+02:00
diff --git a/src/res_core.ml b/src/res_core.ml
@@ -623,7 +623,7 @@ let rec parseLident p =
       None
     ) else (
       let rec loop p =
-        if not (Recover.shouldAbortListParse p)
+        if not (Recover.shouldAbortListParse p) && p.token <> Eof
         then begin
           Parser.next p;
           loop p
