{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE OverloadedStrings #-}
import Test.Hspec
+import Data.Maybe
import Data.Proxy
import Control.Monad.IO.Class
import Control.Lens hiding (List)
import Language.Haskell.LSP.Test
-import Language.Haskell.LSP.Test.Recorded
-import Language.Haskell.LSP.TH.DataTypesJSON
+import Language.Haskell.LSP.Test.Replay
+import Language.Haskell.LSP.Types
+import Language.Haskell.LSP.Messages
main = hspec $ do
describe "manual session validation" $
sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem)
- (NotificationMessage _ TextDocumentPublishDiagnostics (PublishDiagnosticsParams _ (List diags))) <-
- getMessage :: Session PublishDiagnosticsNotification
+ skipMany loggingNotification
- liftIO $ diags `shouldBe` []
+ NotPublishDiagnostics diagsNot <- notification
+
+ liftIO $ diagsNot ^. params . diagnostics `shouldBe` List []
sendRequest (Proxy :: Proxy DocumentSymbolRequest)
TextDocumentDocumentSymbol
(DocumentSymbolParams docId)
- (ResponseMessage _ _ (Just (List symbols)) Nothing) <- getMessage :: Session DocumentSymbolsResponse
+ RspDocumentSymbols rspSymbols <- response
+
liftIO $ do
- let mainSymbol = head symbols
+ let (List symbols) = fromJust (rspSymbols ^. result)
+ mainSymbol = head symbols
mainSymbol ^. name `shouldBe` "main"
mainSymbol ^. kind `shouldBe` SkFunction
mainSymbol ^. location . range `shouldBe` Range (Position 3 0) (Position 3 4)