From 4de144bafd28f3f2a8067a896bedb1430f68f745 Mon Sep 17 00:00:00 2001 From: Luke Lau Date: Mon, 4 Jun 2018 19:33:38 -0400 Subject: [PATCH] Decode responses to the correct type --- src/Language/Haskell/LSP/Test/Files.hs | 3 +- src/Language/Haskell/LSP/Test/Parsing.hs | 93 ++++++++++++ src/Language/Haskell/LSP/Test/Recorded.hs | 171 +++++++++++++++------- stack.yaml | 8 +- test/recordings/renamePass/clientold.log | 17 --- test/recordings/renamePass/serverold.log | 19 --- 6 files changed, 219 insertions(+), 92 deletions(-) delete mode 100644 test/recordings/renamePass/clientold.log delete mode 100644 test/recordings/renamePass/serverold.log diff --git a/src/Language/Haskell/LSP/Test/Files.hs b/src/Language/Haskell/LSP/Test/Files.hs index 9f78ec1..4839094 100644 --- a/src/Language/Haskell/LSP/Test/Files.hs +++ b/src/Language/Haskell/LSP/Test/Files.hs @@ -11,8 +11,6 @@ import Language.Haskell.LSP.Capture import Language.Haskell.LSP.Types hiding ( error ) import Language.Haskell.LSP.Messages import Control.Lens -import Data.Aeson -import qualified Data.ByteString.Lazy.Char8 as B import qualified Data.HashMap.Strict as HM import qualified Data.Text as T import Data.Maybe @@ -46,6 +44,7 @@ mapUris f event = FromServer t msg -> FromServer t (fromServerMsg msg) where + --TODO: Handle all other URLs that might need swapped fromClientMsg (NotDidOpenTextDocument n) = NotDidOpenTextDocument $ swapUri (params . textDocument) n fromClientMsg (NotDidChangeTextDocument n) = NotDidChangeTextDocument $ swapUri (params . textDocument) n fromClientMsg (NotWillSaveTextDocument n) = NotWillSaveTextDocument $ swapUri (params . textDocument) n diff --git a/src/Language/Haskell/LSP/Test/Parsing.hs b/src/Language/Haskell/LSP/Test/Parsing.hs index c29e0f3..14db732 100644 --- a/src/Language/Haskell/LSP/Test/Parsing.hs +++ b/src/Language/Haskell/LSP/Test/Parsing.hs @@ -1,8 +1,17 @@ {-# LANGUAGE OverloadedStrings #-} module Language.Haskell.LSP.Test.Parsing where +import Prelude hiding ( id ) +import Data.Aeson +import Control.Lens import qualified Data.ByteString.Lazy.Char8 as B +import Data.Maybe import System.IO +import Language.Haskell.LSP.Types + hiding ( error ) +import Language.Haskell.LSP.Messages +import qualified Data.HashMap.Strict as HM +import Debug.Trace getAllMessages :: Handle -> IO [B.ByteString] getAllMessages h = do @@ -37,3 +46,87 @@ getHeaders h = do l <- hGetLine h let (name, val) = span (/= ':') l if null val then return [] else ((name, drop 2 val) :) <$> getHeaders h + +type RequestMap = HM.HashMap LspId FromClientMessage + +getRequestMap :: [FromClientMessage] -> RequestMap +getRequestMap = foldl helper HM.empty + where + helper acc msg = case msg of + (ReqInitialize val) -> insert val msg acc + (ReqShutdown val) -> insert val msg acc + (ReqHover val) -> insert val msg acc + (ReqCompletion val) -> insert val msg acc + (ReqCompletionItemResolve val) -> insert val msg acc + (ReqSignatureHelp val) -> insert val msg acc + (ReqDefinition val) -> insert val msg acc + (ReqFindReferences val) -> insert val msg acc + (ReqDocumentHighlights val) -> insert val msg acc + (ReqDocumentSymbols val) -> insert val msg acc + (ReqWorkspaceSymbols val) -> insert val msg acc + (ReqCodeAction val) -> insert val msg acc + (ReqCodeLens val) -> insert val msg acc + (ReqCodeLensResolve val) -> insert val msg acc + (ReqDocumentFormatting val) -> insert val msg acc + (ReqDocumentRangeFormatting val) -> insert val msg acc + (ReqDocumentOnTypeFormatting val) -> insert val msg acc + (ReqRename val) -> insert val msg acc + (ReqExecuteCommand val) -> insert val msg acc + (ReqDocumentLink val) -> insert val msg acc + (ReqDocumentLinkResolve val) -> insert val msg acc + (ReqWillSaveWaitUntil val) -> insert val msg acc + _ -> acc + insert m = HM.insert (m ^. id) + +matchResponseMsgType :: FromClientMessage -> B.ByteString -> FromServerMessage +matchResponseMsgType req bytes = case req of + ReqInitialize _ -> RspInitialize $ fromJust $ decode bytes + ReqShutdown _ -> RspShutdown $ fromJust $ decode bytes + ReqHover _ -> RspHover $ fromJust $ decode bytes + ReqCompletion _ -> RspCompletion $ fromJust $ decode bytes + ReqCompletionItemResolve _ -> + RspCompletionItemResolve $ fromJust $ decode bytes + ReqSignatureHelp _ -> RspSignatureHelp $ fromJust $ decode bytes + ReqDefinition _ -> RspDefinition $ fromJust $ decode bytes + ReqFindReferences _ -> RspFindReferences $ fromJust $ decode bytes + ReqDocumentHighlights _ -> RspDocumentHighlights $ fromJust $ decode bytes + ReqDocumentSymbols _ -> RspDocumentSymbols $ fromJust $ decode bytes + ReqWorkspaceSymbols _ -> RspWorkspaceSymbols $ fromJust $ decode bytes + ReqCodeAction _ -> RspCodeAction $ fromJust $ decode bytes + ReqCodeLens _ -> RspCodeLens $ fromJust $ decode bytes + ReqCodeLensResolve _ -> RspCodeLensResolve $ fromJust $ decode bytes + ReqDocumentFormatting _ -> RspDocumentFormatting $ fromJust $ decode bytes + ReqDocumentRangeFormatting _ -> + RspDocumentRangeFormatting $ fromJust $ decode bytes + ReqDocumentOnTypeFormatting _ -> + RspDocumentOnTypeFormatting $ fromJust $ decode bytes + ReqRename _ -> RspRename $ fromJust $ decode bytes + ReqExecuteCommand _ -> RspExecuteCommand $ fromJust $ decode bytes + ReqDocumentLink _ -> RspDocumentLink $ fromJust $ decode bytes + ReqDocumentLinkResolve _ -> RspDocumentLinkResolve $ fromJust $ decode bytes + ReqWillSaveWaitUntil _ -> RspWillSaveWaitUntil $ fromJust $ decode bytes + x -> error $ "Not a request: " ++ show x + +decodeFromServerMsg :: RequestMap -> B.ByteString -> FromServerMessage +decodeFromServerMsg reqMap bytes = + case HM.lookup "method" fromJust (decode bytes) of + Just methodStr -> case fromJSON methodStr of + Success method -> case method of + -- We can work out the type of the message + TextDocumentPublishDiagnostics -> NotPublishDiagnostics $ fromJust $ decode bytes + WindowShowMessage -> NotShowMessage $ fromJust $ decode bytes + WindowLogMessage -> NotLogMessage $ fromJust $ decode bytes + CancelRequestServer -> NotCancelRequestFromServer $ fromJust $ decode bytes + TelemetryEvent -> NotTelemetry $ fromJust $ decode bytes + WindowShowMessageRequest -> ReqShowMessage $ fromJust $ decode bytes + ClientRegisterCapability -> ReqRegisterCapability $ fromJust $ decode bytes + ClientUnregisterCapability -> ReqUnregisterCapability $ fromJust $ decode bytes + WorkspaceApplyEdit -> ReqApplyWorkspaceEdit $ fromJust $ decode bytes + + Error e -> error e + + Nothing -> case decode bytes :: Maybe (ResponseMessage Value) of + Just msg -> case HM.lookup (requestId $ msg ^. id) reqMap of + Just req -> matchResponseMsgType req bytes -- try to decode it to more specific type + Nothing -> error "Couldn't match up response with request" + Nothing -> error "Couldn't decode message" diff --git a/src/Language/Haskell/LSP/Test/Recorded.hs b/src/Language/Haskell/LSP/Test/Recorded.hs index f856144..36a55fa 100644 --- a/src/Language/Haskell/LSP/Test/Recorded.hs +++ b/src/Language/Haskell/LSP/Test/Recorded.hs @@ -11,12 +11,10 @@ where import Control.Concurrent import Control.Monad.Trans.Class import Control.Monad.Trans.Reader -import Data.Default import qualified Data.ByteString.Lazy.Char8 as B import Data.List import Language.Haskell.LSP.Capture import Language.Haskell.LSP.Messages -import Language.Haskell.LSP.Core import qualified Language.Haskell.LSP.Types as LSP import Data.Aeson import Data.Maybe @@ -40,7 +38,9 @@ replay sessionFp curRootDir = do prevDir <- getCurrentDirectory (Just serverIn, Just serverOut, _, serverProc) <- createProcess - (proc "hie" ["--lsp", "-l", "/tmp/hie.log"]) { std_in = CreatePipe , std_out = CreatePipe } + (proc "hie" ["--lsp", "-l", "/tmp/hie.log"]) { std_in = CreatePipe + , std_out = CreatePipe + } hSetBuffering serverIn NoBuffering hSetBuffering serverOut NoBuffering @@ -60,15 +60,17 @@ replay sessionFp curRootDir = do events <- swapFiles curRootDir unswappedEvents - let clientEvents = map (\(FromClient _ msg) -> msg) $ filter isClientMsg events - serverEvents = map (\(FromServer _ msg) -> msg) $ filter isServerMsg events + let clientEvents = + map (\(FromClient _ msg) -> msg) $ filter isClientMsg events + serverEvents = + map (\(FromServer _ msg) -> msg) $ filter isServerMsg events + requestMap = getRequestMap clientEvents -- listen to server - forkIO $ runReaderT (listenServer serverEvents serverOut semas) didPass + forkIO $ runReaderT (listenServer serverEvents serverOut requestMap semas) + didPass - forM_ clientEvents (processClient serverIn) - - print events + forM_ clientEvents (processClient serverIn rspSema reqSema) result <- takeMVar didPass terminateProcess serverProc @@ -84,10 +86,6 @@ replay sessionFp curRootDir = do isServerMsg (FromServer _ _) = True isServerMsg _ = False -processEvent :: Handle -> MVar LSP.LspId -> MVar LSP.LspIdRsp -> Event -> IO () -processEvent serverH rspSema reqSema (FromClient _ msg) = processClient serverH rspSema reqSema msg -processEvent _ _ _ (FromServer _ msg) = processServer msg - processClient :: Handle -> MVar LSP.LspId -> MVar LSP.LspIdRsp -> FromClientMessage -> IO () processClient serverH rspSema reqSema msg = case msg of @@ -113,6 +111,20 @@ processClient serverH rspSema reqSema msg = case msg of ReqDocumentLink m -> request m ReqDocumentLinkResolve m -> request m ReqWillSaveWaitUntil m -> request m + RspApplyWorkspaceEdit m -> response m + RspFromClient m -> response m + NotInitialized m -> notification m + NotExit m -> notification m + NotCancelRequestFromClient m -> notification m + NotDidChangeConfiguration m -> notification m + NotDidOpenTextDocument m -> notification m + NotDidChangeTextDocument m -> notification m + NotDidCloseTextDocument m -> notification m + NotWillSaveTextDocument m -> notification m + NotDidSaveTextDocument m -> notification m + NotDidChangeWatchedFiles m -> notification m + UnknownFromClientMessage m -> + error $ "Unknown message was recorded from the client" ++ show m where -- TODO: May need to prevent premature exit notification being sent notification msg@(LSP.NotificationMessage _ LSP.Exit _) = do @@ -171,64 +183,121 @@ passSession = do -- | Listens to the server output, makes sure it matches the record and -- signals any semaphores -listenServer :: [FromServerMessage] -> Handle -> (MVar LSP.LspIdRsp, MVar LSP.LspId) -> Session () -listenServer [] _ _ = passSession -listenServer expectedMsgs h semas@(reqSema, rspSema) = do - msg <- lift $ getNextMessage h - - newExpectedMsgs <- case decode msg of - Just m -> request m - Nothing -> case decode msg of - Just m -> notification m - Nothing -> case decode msg of - Just m -> response m - Nothing -> failSession "Malformed message" >> return expectedMsgs - - listenServer newExpectedMsgs h semas - - where response :: LSP.ResponseMessage a -> Session [FromServerMessage] - response res = do +listenServer + :: [FromServerMessage] + -> Handle + -> RequestMap + -> (MVar LSP.LspIdRsp, MVar LSP.LspId) + -> Session () +listenServer [] _ _ _ = passSession +listenServer expectedMsgs h reqMap semas@(reqSema, rspSema) = do + msgBytes <- lift $ getNextMessage h + + let actualMsg = decodeFromServerMsg reqMap msgBytes + + lift $ print actualMsg + + newExpectedMsgs <- case actualMsg of + ReqRegisterCapability m -> request actualMsg m + ReqApplyWorkspaceEdit m -> request actualMsg m + ReqShowMessage m -> request actualMsg m + ReqUnregisterCapability m -> request actualMsg m + RspInitialize m -> response actualMsg m + RspShutdown m -> response actualMsg m + RspHover m -> response actualMsg m + RspCompletion m -> response actualMsg m + RspCompletionItemResolve m -> response actualMsg m + RspSignatureHelp m -> response actualMsg m + RspDefinition m -> response actualMsg m + RspFindReferences m -> response actualMsg m + RspDocumentHighlights m -> response actualMsg m + RspDocumentSymbols m -> response actualMsg m + RspWorkspaceSymbols m -> response actualMsg m + RspCodeAction m -> response actualMsg m + RspCodeLens m -> response actualMsg m + RspCodeLensResolve m -> response actualMsg m + RspDocumentFormatting m -> response actualMsg m + RspDocumentRangeFormatting m -> response actualMsg m + RspDocumentOnTypeFormatting m -> response actualMsg m + RspRename m -> response actualMsg m + RspExecuteCommand m -> response actualMsg m + RspError m -> response actualMsg m + RspDocumentLink m -> response actualMsg m + RspDocumentLinkResolve m -> response actualMsg m + RspWillSaveWaitUntil m -> response actualMsg m + NotPublishDiagnostics m -> notification actualMsg m + NotLogMessage m -> notification actualMsg m + NotShowMessage m -> notification actualMsg m + NotTelemetry m -> notification actualMsg m + NotCancelRequestFromServer m -> notification actualMsg m + + listenServer newExpectedMsgs h reqMap semas + where + response + :: Show a + => FromServerMessage + -> LSP.ResponseMessage a + -> Session [FromServerMessage] + response msg res = do lift $ putStrLn $ "Got response for id " ++ show (res ^. LSP.id) lift $ print res - checkOrder res + checkOrder msg lift $ putMVar reqSema (res ^. LSP.id) -- unblock the handler waiting to send a request - markReceived res - - request :: LSP.RequestMessage LSP.ServerMethod a b -> Session [FromServerMessage] - request req = do - lift $ putStrLn $ "Got request for id " ++ show (req ^. LSP.id) ++ " " ++ show (req ^. LSP.method) + markReceived msg + + request + :: (Show a, Show b) + => FromServerMessage + -> LSP.RequestMessage LSP.ServerMethod a b + -> Session [FromServerMessage] + request msg req = do + lift + $ putStrLn + $ "Got request for id " + ++ show (req ^. LSP.id) + ++ " " + ++ show (req ^. LSP.method) lift $ print req - checkOrder req + checkOrder msg lift $ putMVar rspSema (req ^. LSP.id) -- unblock the handler waiting for a response - markReceived req + markReceived msg - notification :: LSP.NotificationMessage LSP.ServerMethod a -> Session [FromServerMessage] - notification n = do + notification + :: Show a + => FromServerMessage + -> LSP.NotificationMessage LSP.ServerMethod a + -> Session [FromServerMessage] + notification msg n = do lift $ putStrLn $ "Got notification " ++ show (n ^. LSP.method) lift $ print n - lift $ putStrLn $ show (length (filter isNotification expectedMsgs) - 1) ++ " notifications remaining" + lift + $ putStrLn + $ show (length (filter isNotification expectedMsgs) - 1) + ++ " notifications remaining" if n ^. LSP.method == LSP.WindowLogMessage then return expectedMsgs - else markReceived n - - checkOrder msg = unless (inRightOrder msg expectedMsgs) $ do - let (Just expected) = decode firstExpected - _ = expected == msg -- make expected type same as res - failSession ("Out of order\nExpected\n" ++ show expected ++ "\nGot\n" ++ show msg ++ "\n") + else markReceived msg + + checkOrder msg = unless (inRightOrder msg expectedMsgs) $ failSession + ( "Out of order\nExpected\n" + ++ show firstExpected + ++ "\nGot\n" + ++ show msg + ++ "\n" + ) - markReceived :: Eq a => a -> [FromServerMessage] -> Session [FromServerMessage] + markReceived :: FromServerMessage -> Session [FromServerMessage] markReceived msg = - -- TODO: Find some way of equating FromServerMessage and LSP.ResponseMessage etc. let new = delete msg expectedMsgs in if new == expectedMsgs then failSession ("Unexpected message: " ++ show msg) >> return new @@ -253,12 +322,12 @@ isNotification _ = False -- given RES1 -- @ N1 N3 N4 N5 XXXX RES1 @ False! -- Order of requests and responses matter -inRightOrder :: (FromJSON a, Eq a) => a -> [B.ByteString] -> Bool +inRightOrder :: FromServerMessage -> [FromServerMessage] -> Bool inRightOrder _ [] = error "Why is this empty" -- inRightOrder (LSP.NotificationMessage _ _ _) _ = True inRightOrder received (expected : msgs) - | Just received == decode expected = True + | received == expected = True | isNotification expected = inRightOrder received msgs | otherwise = False diff --git a/stack.yaml b/stack.yaml index a94e4be..440d02c 100644 --- a/stack.yaml +++ b/stack.yaml @@ -1,13 +1,15 @@ -resolver: nightly-2018-04-24 +resolver: nightly-2018-06-01 packages: - . extra-deps: - github: Bubba/haskell-lsp-client commit: b7cf14eb48837a73032e867dab90db1708220c66 - - haskell-lsp-types-0.2.2.0 - github: Bubba/haskell-lsp - commit: 8a9f16e11f1ca921f8316e3e7cd2b4756598775c + commit: 6849d2b8281c3a6e6f28af4364b4a976b1eb8ba5 + subdirs: + - . + - ./haskell-lsp-types - sorted-list-0.2.1.0 - github: yi-editor/yi-rope commit: 7867909f4f20952be051fd4252cca5bbfc80cf41 diff --git a/test/recordings/renamePass/clientold.log b/test/recordings/renamePass/clientold.log deleted file mode 100644 index dfe4a48..0000000 --- a/test/recordings/renamePass/clientold.log +++ /dev/null @@ -1,17 +0,0 @@ -Content-Length: 380 - -{"jsonrpc":"2.0","method":"initialize","params":{"capabilities":{"textDocument":{"completion":{"completionItem":{"commitCharactersSupport":null,"documentationFormat":null,"snippetSupport":false},"dynamicRegistration":null}}},"initializationOptions":{"cacheDirectory":"/tmp/lspCache"},"processId":25669,"rootPath":"/Users/luke","rootUri":"file:///Users/luke","trace":"off"},"id":9}Content-Length: 52 - -{"jsonrpc":"2.0","method":"initialized","params":{}}Content-Length: 144 - -{"jsonrpc":"2.0","method":"workspace/didChangeConfiguration","params":{"settings":{"initializationOptions":{"cacheDirectory":"/tmp/lspCache"}}}}Content-Length: 2084 - -{"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"languageId":"haskell","text":"module Main where\n\nmain :: IO ()\nmain = do\n let initialList = []\n interactWithUser initialList\n\ntype Item = String\ntype Items = [Item]\n\ndata Command = Quit\n | DisplayItems\n | AddItem String\n | RemoveItem Int\n | Help\n\ntype Error = String\n\nparseCommand :: String -> Either Error Command\nparseCommand line = case words line of\n [\"quit\"] -> Right Quit\n [\"items\"] -> Right DisplayItems\n \"add\" : item -> Right $ AddItem $ unwords item\n \"remove\" : i -> Right $ RemoveItem $ read $ unwords i\n [\"help\"] -> Right Help\n _ -> Left \"Unknown command\"\n\naddItem :: Item -> Items -> Items\naddItem = (:)\n\ndisplayItems :: Items -> String\ndisplayItems = unlines . map (\"- \" ++)\n\nremoveItem :: Int -> Items -> Either Error Items\nremoveItem i items\n | i < 0 || i >= length items = Left \"Out of range\"\n | otherwise = Right result\n where (front, back) = splitAt (i + 1) items\n result = init front ++ back\n\ninteractWithUser :: Items -> IO ()\ninteractWithUser items = do\n line <- getLine\n case parseCommand line of\n Right DisplayItems -> do\n putStrLn $ displayItems items\n interactWithUser items\n\n Right (AddItem item) -> do\n let newItems = addItem item items\n putStrLn \"Added\"\n interactWithUser newItems\n\n Right (RemoveItem i) ->\n case removeItem i items of\n Right newItems -> do\n putStrLn $ \"Removed \" ++ items !! i\n interactWithUser newItems\n Left err -> do\n putStrLn err\n interactWithUser items\n\n\n Right Quit -> return ()\n\n Right Help -> do\n putStrLn \"Commands:\"\n putStrLn \"help\"\n putStrLn \"items\"\n putStrLn \"add\"\n putStrLn \"quit\"\n interactWithUser items\n\n Left err -> do\n putStrLn $ \"Error: \" ++ err\n interactWithUser items\n","uri":"file:///Users/luke/Desktop/simple.hs","version":0}}}Content-Length: 137 - -{"jsonrpc":"2.0","method":"textDocument/documentSymbol","params":{"textDocument":{"uri":"file:///Users/luke/Desktop/simple.hs"}},"id":16}Content-Length: 137 - -{"jsonrpc":"2.0","method":"textDocument/documentSymbol","params":{"textDocument":{"uri":"file:///Users/luke/Desktop/simple.hs"}},"id":27}Content-Length: 190 - -{"jsonrpc":"2.0","method":"textDocument/rename","params":{"newName":"arseCommand","position":{"character":0,"line":19},"textDocument":{"uri":"file:///Users/luke/Desktop/simple.hs"}},"id":34}Content-Length: 47 - -{"jsonrpc":"2.0","method":"exit","params":null} \ No newline at end of file diff --git a/test/recordings/renamePass/serverold.log b/test/recordings/renamePass/serverold.log deleted file mode 100644 index e4b8fb5..0000000 --- a/test/recordings/renamePass/serverold.log +++ /dev/null @@ -1,19 +0,0 @@ -Content-Length: 579 - -{"result":{"capabilities":{"textDocumentSync":{"openClose":true,"change":2,"willSave":false,"willSaveWaitUntil":false,"save":{"includeText":false}},"hoverProvider":true,"completionProvider":{"resolveProvider":true,"triggerCharacters":["."]},"definitionProvider":true,"referencesProvider":true,"documentHighlightProvider":true,"documentSymbolProvider":true,"codeActionProvider":true,"documentFormattingProvider":true,"documentRangeFormattingProvider":true,"renameProvider":true,"executeCommandProvider":{"commands":["applyrefact:applyOne","hare:demote"]}}},"jsonrpc":"2.0","id":9}Content-Length: 208 - -{"jsonrpc":"2.0","method":"window/logMessage","params":{"type":4,"message":"Using hie version: Version 0.2.0.0, Git revision 376bd18c8907cc054dcc96cbce712032cb3a6ee0 (dirty) (1366 commits) x86_64 ghc-8.4.2"}}Content-Length: 145 - -{"jsonrpc":"2.0","method":"window/logMessage","params":{"type":4,"message":"Using hoogle db at: /Users/luke/.hoogle/default-haskell-5.0.17.hoo"}}Content-Length: 422 - -{"jsonrpc":"2.0","method":"window/logMessage","params":{"type":1,"message":"haskell-lsp:didChangeConfiguration error. NotificationMessage {_jsonrpc = \"2.0\", _method = WorkspaceDidChangeConfiguration, _params = DidChangeConfigurationParams {_settings = Object (fromList [(\"initializationOptions\",Object (fromList [(\"cacheDirectory\",String \"/tmp/lspCache\")]))])}} \"key \\\"languageServerHaskell\\\" not present\""}}Content-Length: 133 - -{"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri":"file:///Users/luke/Desktop/simple.hs","diagnostics":[]}}Content-Length: 2627 - -{"result":[{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":3,"character":0},"end":{"line":3,"character":4}}},"kind":12,"name":"main"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":7,"character":5},"end":{"line":7,"character":9}}},"kind":5,"name":"Item"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":8,"character":5},"end":{"line":8,"character":10}}},"kind":5,"name":"Items"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":10,"character":5},"end":{"line":10,"character":12}}},"kind":5,"name":"Command"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":10,"character":15},"end":{"line":10,"character":19}}},"kind":9,"containerName":"Command","name":"Quit"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":11,"character":15},"end":{"line":11,"character":27}}},"kind":9,"containerName":"Command","name":"DisplayItems"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":12,"character":15},"end":{"line":12,"character":22}}},"kind":9,"containerName":"Command","name":"AddItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":13,"character":15},"end":{"line":13,"character":25}}},"kind":9,"containerName":"Command","name":"RemoveItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":14,"character":15},"end":{"line":14,"character":19}}},"kind":9,"containerName":"Command","name":"Help"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":16,"character":5},"end":{"line":16,"character":10}}},"kind":5,"name":"Error"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":19,"character":0},"end":{"line":19,"character":12}}},"kind":12,"name":"parseCommand"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":28,"character":0},"end":{"line":28,"character":7}}},"kind":12,"name":"addItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":31,"character":0},"end":{"line":31,"character":12}}},"kind":12,"name":"displayItems"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":34,"character":0},"end":{"line":34,"character":10}}},"kind":12,"name":"removeItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":41,"character":0},"end":{"line":41,"character":16}}},"kind":12,"name":"interactWithUser"}],"jsonrpc":"2.0","id":16}Content-Length: 133 - -{"jsonrpc":"2.0","method":"textDocument/publishDiagnostics","params":{"uri":"file:///Users/luke/Desktop/simple.hs","diagnostics":[]}}Content-Length: 2627 - -{"result":[{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":3,"character":0},"end":{"line":3,"character":4}}},"kind":12,"name":"main"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":7,"character":5},"end":{"line":7,"character":9}}},"kind":5,"name":"Item"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":8,"character":5},"end":{"line":8,"character":10}}},"kind":5,"name":"Items"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":10,"character":5},"end":{"line":10,"character":12}}},"kind":5,"name":"Command"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":10,"character":15},"end":{"line":10,"character":19}}},"kind":9,"containerName":"Command","name":"Quit"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":11,"character":15},"end":{"line":11,"character":27}}},"kind":9,"containerName":"Command","name":"DisplayItems"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":12,"character":15},"end":{"line":12,"character":22}}},"kind":9,"containerName":"Command","name":"AddItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":13,"character":15},"end":{"line":13,"character":25}}},"kind":9,"containerName":"Command","name":"RemoveItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":14,"character":15},"end":{"line":14,"character":19}}},"kind":9,"containerName":"Command","name":"Help"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":16,"character":5},"end":{"line":16,"character":10}}},"kind":5,"name":"Error"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":19,"character":0},"end":{"line":19,"character":12}}},"kind":12,"name":"parseCommand"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":28,"character":0},"end":{"line":28,"character":7}}},"kind":12,"name":"addItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":31,"character":0},"end":{"line":31,"character":12}}},"kind":12,"name":"displayItems"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":34,"character":0},"end":{"line":34,"character":10}}},"kind":12,"name":"removeItem"},{"location":{"uri":"file:///Users/luke/Desktop/simple.hs","range":{"start":{"line":41,"character":0},"end":{"line":41,"character":16}}},"kind":12,"name":"interactWithUser"}],"jsonrpc":"2.0","id":27}Content-Length: 383 - -{"result":{"changes":{"file:///Users/luke/Desktop/simple.hs":[{"range":{"start":{"line":43,"character":0},"end":{"line":43,"character":27}},"newText":" case arseCommand line of"},{"range":{"start":{"line":18,"character":0},"end":{"line":19,"character":38}},"newText":"arseCommand :: String -> Either Error Command\narseCommand line = case words line of"}]}},"jsonrpc":"2.0","id":34} \ No newline at end of file -- 2.30.2