Skip to content

Commit

Permalink
fix parsing error : add parsing error at the end of logs instead of t…
Browse files Browse the repository at this point in the history
…he begining
  • Loading branch information
Alidra committed Apr 19, 2024
1 parent 0875349 commit 8265f12
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lsp/lp_doc.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 8265f12

Please sign in to comment.