From b7260365f3cf36d6377ee56a7c911d58fc3a666c Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Thu, 2 May 2024 11:21:35 -0700 Subject: [PATCH] dont show errors for other files Signed-off-by: Jade Abraham --- tools/chpl-language-server/src/chpl-language-server.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/chpl-language-server/src/chpl-language-server.py b/tools/chpl-language-server/src/chpl-language-server.py index b9905423d878..4d65e0b3966e 100755 --- a/tools/chpl-language-server/src/chpl-language-server.py +++ b/tools/chpl-language-server/src/chpl-language-server.py @@ -1043,6 +1043,9 @@ def get_file_info( ) self.file_infos[uri] = file_info + # filter out errors that are not related to the file + errors = [e for e in errors if e.location().path() == uri[len("file://") :]] + return (file_info, errors) def build_diagnostics(self, uri: str) -> List[Diagnostic]: