From 2c5ca6a9fb121865490e59f32b36d3ec7a3346c9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 10 Jul 2024 13:27:53 +0200 Subject: [PATCH] comment --- language-server/dm/document.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml index b645b5f4..7ffadbb6 100644 --- 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);