Add handler for 'documentDidClose'

dhall-lang · Oct 27, 2024 · b007349 · b007349
1 parent 8c3f657
commit b007349
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/dhall-lsp-server/src/Dhall/LSP/Handlers.hs b/dhall-lsp-server/src/Dhall/LSP/Handlers.hs
@@ -641,6 +641,11 @@ cancelationHandler :: Handlers HandlerM
 cancelationHandler =
     LSP.notificationHandler SMethod_CancelRequest \_ -> return ()
 
+-- this handler is a stab to prevent `lsp:no handler for:` messages.
+documentDidCloseHandler :: Handlers HandlerM
+documentDidCloseHandler =
+    LSP.notificationHandler SMethod_TextDocumentDidClose \_ -> return ()
+
 handleErrorWithDefault :: (Either a1 b -> HandlerM a2)
  -> b
  -> HandlerM a2

diff --git a/dhall-lsp-server/src/Dhall/LSP/Server.hs b/dhall-lsp-server/src/Dhall/LSP/Server.hs
@@ -22,6 +22,7 @@ import Dhall.LSP.Handlers
     , workspaceChangeConfigurationHandler
     , textDocumentChangeHandler
     , cancelationHandler
+    , documentDidCloseHandler
     )
 import Dhall.LSP.State
 import Language.LSP.Server (LspServerLog, Options(..), ServerDefinition(..), type (<~>)(..))
@@ -92,6 +93,7 @@ run = withLogger $ \ioLogger -> do
           , workspaceChangeConfigurationHandler
           , textDocumentChangeHandler
           , cancelationHandler
+          , documentDidCloseHandler
           ]
 
   let interpretHandler environment = Iso{..}