Merge branch 'main' into tasty-bench

dhall-lang · Nov 7, 2024 · 1cd2985 · 1cd2985
2 parents ff9a915 + d1fc29b
commit 1cd2985
Show file tree

Hide file tree

Showing 3 changed files with 64 additions and 57 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 stub 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{..}