{-# 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.Replay
import Language.Haskell.LSP.Types
import Language.Haskell.LSP.Messages
+import ParsingTests
main = hspec $ do
- describe "manual session validation" $
+ describe "manual session validation" $ do
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)
+ doc <- openDoc "Desktop/simple.hs" "haskell"
skipMany loggingNotification
- (NotPublishDiagnostics (NotificationMessage _ TextDocumentPublishDiagnostics (PublishDiagnosticsParams _ (List diags)))) <- notification
+ NotPublishDiagnostics diagsNot <- notification
- liftIO $ diags `shouldBe` []
+ liftIO $ diagsNot ^. params . diagnostics `shouldBe` List []
sendRequest (Proxy :: Proxy DocumentSymbolRequest)
TextDocumentDocumentSymbol
- (DocumentSymbolParams docId)
+ (DocumentSymbolParams doc)
- (RspDocumentSymbols (ResponseMessage _ _ (Just (List symbols)) Nothing)) <- response
+ 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)
mainSymbol ^. containerName `shouldBe` Nothing
- describe "replay session" $
+ it "fails a test" $
+ -- TODO: Catch the exception in haskell-lsp-test and provide nicer output
+ let session = runSession "test/recordings/renamePass" $ do
+ openDoc "Desktop/simple.hs" "haskell"
+ skipMany loggingNotification
+ request
+ in session `shouldThrow` anyException
+
+ describe "replay session" $ do
it "passes a test" $
replaySession "test/recordings/renamePass" `shouldReturn` True
+ it "fails a test" $
+ replaySession "test/recordings/renameFail" `shouldReturn` False
+
+ parsingSpec
\ No newline at end of file