From 8265f126d7d0486f09bddd1000f9b1d016999ea9 Mon Sep 17 00:00:00 2001
From: Abdelghani Alidra <alidrandco@yahoo.fr>
Date: Fri, 19 Apr 2024 09:28:07 +0200
Subject: [PATCH] fix parsing error : add parsing error at the end of logs
 instead of the begining

---
 src/lsp/lp_doc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lsp/lp_doc.ml b/src/lsp/lp_doc.ml
index 431d608f2..4bd40cce8 100644
--- a/src/lsp/lp_doc.ml
+++ b/src/lsp/lp_doc.ml
@@ -185,7 +185,7 @@ let check_text ~doc =
   let logs, diags =
     match error with
     | None -> logs, diags
-    | Some(pos,msg) -> ((1, msg), Some pos)::logs, (pos,1,msg,None)::diags
+    | Some(pos,msg) -> logs @ [((1, msg), Some pos)], diags @ [pos,1,msg,None]
   in
   let map = Pure.rangemap cmds in
   let doc = { doc with nodes; final=Some(final); map; logs } in