1 {-# LANGUAGE DuplicateRecordFields #-}
2 {-# LANGUAGE OverloadedStrings #-}
6 import Control.Monad.IO.Class
7 import Control.Lens hiding (List)
8 import Language.Haskell.LSP.Test
9 import Language.Haskell.LSP.Test.Replay
10 import Language.Haskell.LSP.Types
11 import Language.Haskell.LSP.Messages
14 describe "manual session validation" $
16 runSession "test/recordings/renamePass" $ do
17 docItem <- getDocItem "Desktop/simple.hs" "haskell"
18 docId <- TextDocumentIdentifier <$> getDocUri "Desktop/simple.hs"
20 sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem)
22 skipMany loggingNotification
24 NotPublishDiagnostics diagsNot <- notification
26 liftIO $ diagsNot ^. params . diagnostics `shouldBe` List []
28 sendRequest (Proxy :: Proxy DocumentSymbolRequest)
29 TextDocumentDocumentSymbol
30 (DocumentSymbolParams docId)
32 RspDocumentSymbols rspSymbols <- response
35 let (List symbols) = fromJust (rspSymbols ^. result)
36 mainSymbol = head symbols
37 mainSymbol ^. name `shouldBe` "main"
38 mainSymbol ^. kind `shouldBe` SkFunction
39 mainSymbol ^. location . range `shouldBe` Range (Position 3 0) (Position 3 4)
40 mainSymbol ^. containerName `shouldBe` Nothing
42 describe "replay session" $
44 replaySession "test/recordings/renamePass" `shouldReturn` True