+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE OverloadedStrings #-}
import Test.Hspec
-import Language.Haskell.LSP.Test.Recorded
+import Data.Proxy
+import Control.Monad.IO.Class
+import Control.Lens hiding (List)
+import Language.Haskell.LSP.Test
+import Language.Haskell.LSP.Test.Replay
+import Language.Haskell.LSP.Types
+import Language.Haskell.LSP.Messages
main = hspec $ do
- describe "Replay" $ do
- it "passes a test" $ do
- replay "test/recordings/renamePass/client.log"
- "test/recordings/renamePass/server.log"
- `shouldReturn` True
- -- it "fails a test" $
- -- replay "test/recordings/documentSymbolFail/client.log"
- -- "test/recordings/documentSymbolFail/server.log"
- -- `shouldReturn` False
+ describe "manual session validation" $
+ it "passes a test" $
+ runSession "test/recordings/renamePass" $ do
+ docItem <- getDocItem "Desktop/simple.hs" "haskell"
+ docId <- TextDocumentIdentifier <$> getDocUri "Desktop/simple.hs"
+
+ sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem)
+
+ skipMany loggingNotification
+
+ (NotPublishDiagnostics (NotificationMessage _ TextDocumentPublishDiagnostics (PublishDiagnosticsParams _ (List diags)))) <- notification
+
+ liftIO $ diags `shouldBe` []
+
+ sendRequest (Proxy :: Proxy DocumentSymbolRequest)
+ TextDocumentDocumentSymbol
+ (DocumentSymbolParams docId)
+
+ (RspDocumentSymbols (ResponseMessage _ _ (Just (List symbols)) Nothing)) <- response
+
+ liftIO $ do
+ let mainSymbol = head symbols
+ mainSymbol ^. name `shouldBe` "main"
+ mainSymbol ^. kind `shouldBe` SkFunction
+ mainSymbol ^. location . range `shouldBe` Range (Position 3 0) (Position 3 4)
+ mainSymbol ^. containerName `shouldBe` Nothing
+
+ describe "replay session" $
+ it "passes a test" $
+ replaySession "test/recordings/renamePass" `shouldReturn` True
\ No newline at end of file