Ignore ghost positions in position map

CatalaLang · Oct 29, 2024 · 6487895 · 6487895
1 parent f970359
commit 6487895
Showing 1 changed file with 8 additions and 6 deletions.
diff --git a/server/src/position_map.ml b/server/src/position_map.ml
@@ -202,12 +202,14 @@ module Make (D : Data) = struct
     (li, i), (lj, j)
 
   let add pos data variables =
-    let itv = pos_to_itv pos in
-    FileMap.update (Pos.get_file pos)
-      (function
-        | None -> Some [Trie.Node { itv; data; children = [] }]
-        | Some trie -> Some (Trie.insert itv data trie))
-      variables
+    if pos = Pos.no_pos then variables
+    else
+      let itv = pos_to_itv pos in
+      FileMap.update (Pos.get_file pos)
+        (function
+          | None -> Some [Trie.Node { itv; data; children = [] }]
+          | Some trie -> Some (Trie.insert itv data trie))
+        variables
 
   let lookup pos pmap =
     let ( let* ) = Option.bind in