comment

coq · Jul 10, 2024 · 2c5ca6a · 2c5ca6a
1 parent 6a4e82b
commit 2c5ca6a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml
@@ -346,7 +346,8 @@ let rec parse_more ?loc synterp_state stream raw parsed parsed_comments errors =
     let stop = Stream.count stream in
     let parsing_error = { msg; start; stop; } in
     let errors = parsing_error :: errors in
-    parse_more synterp_state stream raw parsed parsed_comments errors
+    (* TODO: we could count the \n between start and stop and increase Loc.line_nb *)
+    parse_more ?loc synterp_state stream raw parsed parsed_comments errors
   in
   let start = Stream.count stream in
   log @@ "Start of parse is: " ^ (string_of_int start);