From a48078f5eafb7b65f3c28bf0df969396d1e38081 Mon Sep 17 00:00:00 2001 From: Jack Baldry Date: Sun, 17 Oct 2021 21:56:55 +0100 Subject: [PATCH] Add TODO(#8) --- server.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.go b/server.go index ef4a8ec..2ac7851 100644 --- a/server.go +++ b/server.go @@ -81,7 +81,7 @@ func (s *server) Declaration(context.Context, *protocol.DeclarationParams) (prot // as it is not a terminal node and is instead part of the "index" symbol which has the children "obj" and "field". // This works well in all cases where the Jsonnet parser has put correct location information. Unfortunately, // the literal string node "field" of "obj.field" does not have correct location information. -// TODO: Understand why the parser has not attached correct location range for indexes. +// TODO(#8): Understand why the parser has not attached correct location range for indexes. func (s *server) Definition(ctx context.Context, params *protocol.DefinitionParams) (protocol.Definition, error) { doc, err := s.cache.get(params.TextDocument.URI) if err != nil {