From 178dda2e0aff4cc242095e25415b38df2ed2dc49 Mon Sep 17 00:00:00 2001 From: fwcd Date: Sun, 8 Dec 2024 22:22:47 +0100 Subject: [PATCH] Expose SymbolKind in hover extensions --- src/Curry/LanguageServer/Handlers/TextDocument/Hover.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Curry/LanguageServer/Handlers/TextDocument/Hover.hs b/src/Curry/LanguageServer/Handlers/TextDocument/Hover.hs index bb64e86..121c9a7 100644 --- a/src/Curry/LanguageServer/Handlers/TextDocument/Hover.hs +++ b/src/Curry/LanguageServer/Handlers/TextDocument/Hover.hs @@ -87,6 +87,7 @@ extensionHover store ast@(moduleIdentifier -> mid) pos@(J.Position l c) uri e = , ("type", fromMaybe "" ((.printedType) =<< symbol)) , ("identifier", maybe "" (.ident) symbol) , ("module", maybe "" symbolParentIdent symbol) + , ("symbolKind", maybe "" (T.pack . show . (.kind)) symbol) ] :: [(T.Text, T.Text)] applyParam p = T.replace ("{" <> p <> "}") evalTemplate t = foldr (uncurry applyParam) t templateParams