Merge pull request #265 from serokell/prepare-rename-null

Add proper support for prepareRename

Author: lukel97

lsp-types/src/Language/LSP/Types/Message.hs

@@ -193,7 +193,7 @@ type family ResponseResult (m :: Method f Request) :: Type where
   ResponseResult TextDocumentOnTypeFormatting  = List TextEdit
   -- Rename
   ResponseResult TextDocumentRename            = WorkspaceEdit
-  ResponseResult TextDocumentPrepareRename     = Range |? RangeWithPlaceholder
+  ResponseResult TextDocumentPrepareRename     = Maybe (Range |? RangeWithPlaceholder)
   -- FoldingRange
   ResponseResult TextDocumentFoldingRange      = List FoldingRange
   ResponseResult TextDocumentSelectionRange    = List SelectionRange

src/Language/LSP/Server/Processing.hs

@@ -153,7 +153,7 @@ inferServerCapabilities clientCaps o h =
     , _documentFormattingProvider       = supportedBool STextDocumentFormatting
     , _documentRangeFormattingProvider  = supportedBool STextDocumentRangeFormatting
     , _documentOnTypeFormattingProvider = documentOnTypeFormattingProvider
-    , _renameProvider                   = supportedBool STextDocumentRename
+    , _renameProvider                   = renameProvider
     , _documentLinkProvider             = supported' STextDocumentDocumentLink $ DocumentLinkOptions
                                               (Just False)
                                               (supported SDocumentLinkResolve)
@@ -233,6 +233,17 @@ inferServerCapabilities clientCaps o h =
           error "executeCommandCommands needs to be set if a executeCommandHandler is set"
       | otherwise = Nothing
 
+    clientSupportsPrepareRename = fromMaybe False $
+      clientCaps ^? LSP.textDocument . _Just . LSP.rename . _Just . LSP.prepareSupport . _Just
+
+    renameProvider
+      | clientSupportsPrepareRename
+      , supported_b STextDocumentRename
+      , supported_b STextDocumentPrepareRename = Just $
+          InR . RenameOptions Nothing . Just $ True
+      | supported_b STextDocumentRename = Just (InL True)
+      | otherwise = Just (InL False)
+
     sync = case textDocumentSync o of
             Just x -> Just (InL x)
             Nothing -> Nothing