Skip to content

Commit 1131f68

Browse files
committed
Fix equality for Termtbl's entries
Ughr, this is such a broken model for handling caching, but I haven't the energy to rewrite it.
1 parent 69d81b8 commit 1131f68

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/semantics/doc_parser.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -876,9 +876,9 @@ module Term = struct
876876
let hash (T x) = Node.span x |> Span.hash
877877

878878
let equal (T x) (T y) =
879-
let al, at = (Node.leading_trivia.get x, Node.trailing_trivia.get x) in
880-
let bl, bt = (Node.leading_trivia.get x, Node.trailing_trivia.get y) in
881-
al == bl && at == bt
879+
let xl, xt = (Node.leading_trivia.get x, Node.trailing_trivia.get x) in
880+
let yl, yt = (Node.leading_trivia.get y, Node.trailing_trivia.get y) in
881+
xl == yl && xt == yt
882882
end
883883

884884
module TermTbl = Hashtbl.Make (Term)

0 commit comments

Comments
 (0)