Integrate Parsec transformer into Session monad
[lsp-test.git] / test / Test.hs
1 {-# LANGUAGE DuplicateRecordFields #-}
2 {-# LANGUAGE OverloadedStrings #-}
3 import           Test.Hspec
4 import           Data.Proxy
5 import           Control.Monad.IO.Class
6 import           Control.Lens hiding (List)
7 import           Language.Haskell.LSP.Test
8 import           Language.Haskell.LSP.Test.Replay
9 import           Language.Haskell.LSP.Types
10 import           Language.Haskell.LSP.Messages
11
12 main = hspec $ do
13   describe "manual session validation" $ 
14     it "passes a test" $
15       runSession "test/recordings/renamePass" $ do
16         docItem <- getDocItem "Desktop/simple.hs" "haskell"
17         docId   <- TextDocumentIdentifier <$> getDocUri "Desktop/simple.hs"
18
19         sendNotification TextDocumentDidOpen (DidOpenTextDocumentParams docItem)
20
21         skipMany loggingNotification
22
23         (NotPublishDiagnostics (NotificationMessage _ TextDocumentPublishDiagnostics (PublishDiagnosticsParams _ (List diags)))) <- notification
24
25         liftIO $ diags `shouldBe` []
26         
27         sendRequest (Proxy :: Proxy DocumentSymbolRequest)
28                     TextDocumentDocumentSymbol
29                     (DocumentSymbolParams docId)
30
31         (RspDocumentSymbols (ResponseMessage _ _ (Just (List symbols)) Nothing)) <- response
32
33         liftIO $ do
34           let mainSymbol = head symbols
35           mainSymbol ^. name `shouldBe` "main"
36           mainSymbol ^. kind `shouldBe` SkFunction
37           mainSymbol ^. location . range `shouldBe` Range (Position 3 0) (Position 3 4)
38           mainSymbol ^. containerName `shouldBe` Nothing
39   
40   describe "replay session" $
41     it "passes a test" $
42       replaySession "test/recordings/renamePass" `shouldReturn` True