+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE OverloadedStrings #-}
import Test.Hspec
-import System.IO
-import System.Directory
-import Control.Lens
+import Data.Maybe
+import Data.Proxy
import Control.Monad.IO.Class
-import Language.Haskell.LSP.Test.Recorded
--- import Language.Haskell.LSP.Test.Parsing
--- import Language.Haskell.LSP.Test.Files
-import qualified Language.Haskell.LSP.TH.DataTypesJSON as LSP
-
-main = hspec $
- describe "replay" $
- it "passes a replay" $
- replaySession "test/recordings/renamePass" $ do
- x <- sendNextRequest
- liftIO $ print x
- y <- sendNextRequest
- liftIO $ print y
\ No newline at end of file
+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 "manual session validation" $
+ it "passes a test" $
+ runSession "test/recordings/renamePass" $ do
+ doc <- openDoc "Desktop/simple.hs" "haskell"
+
+ skipMany loggingNotification
+
+ NotPublishDiagnostics diagsNot <- notification
+
+ liftIO $ diagsNot ^. params . diagnostics `shouldBe` List []
+
+ sendRequest (Proxy :: Proxy DocumentSymbolRequest)
+ TextDocumentDocumentSymbol
+ (DocumentSymbolParams doc)
+
+ RspDocumentSymbols rspSymbols <- response
+
+ liftIO $ do
+ 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)
+ mainSymbol ^. containerName `shouldBe` Nothing
+
+ describe "replay session" $
+ it "passes a test" $
+ replaySession "test/recordings/renamePass" `shouldReturn` True
\ No newline at end of file