X-Git-Url: http://git.lukelau.me/?a=blobdiff_plain;f=test%2FTest.hs;h=8f715333092c46b503316b77b0163d8596b9fa18;hb=1f39d55cc3fb2e840a115c12d7da3935b9529361;hp=7c7f272ad6f620c32735ae47aeeef896c2386b48;hpb=1f4a12c49be0cb8640d60c21f6499c5567646fba;p=opengl.git diff --git a/test/Test.hs b/test/Test.hs index 7c7f272..8f71533 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -1,18 +1,107 @@ +{-# LANGUAGE DuplicateRecordFields #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE DeriveGeneric #-} +{-# LANGUAGE DeriveAnyClass #-} import Test.Hspec -import System.IO -import System.Directory -import Control.Lens +import Data.Aeson +import qualified Data.HashMap.Strict as HM +import Data.Maybe 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 GHC.Generics +import Language.Haskell.LSP.Test +import Language.Haskell.LSP.Test.Replay +import Language.Haskell.LSP.Types +import ParsingTests + +main = hspec $ do + describe "manual session" $ do + it "passes a test" $ + runSession "hie --lsp" "test/data/renamePass" $ do + doc <- openDoc "Desktop/simple.hs" "haskell" + + skipMany loggingNotification + + checkNoDiagnostics + + rspSymbols <- documentSymbols doc + + 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 + + it "fails a test" $ + -- TODO: Catch the exception in haskell-lsp-test and provide nicer output + let session = runSession "hie --lsp" "test/data/renamePass" $ do + openDoc "Desktop/simple.hs" "haskell" + skipMany loggingNotification + anyRequest + in session `shouldThrow` anyException + it "can get initialize response" $ runSession "hie --lsp" "test/data/renamePass" $ do + rsp <- getInitializeResponse + liftIO $ rsp ^. result `shouldNotBe` Nothing + + describe "replay session" $ do + it "passes a test" $ + replaySession "hie --lsp" "test/data/renamePass" `shouldReturn` True + it "fails a test" $ + replaySession "hie --lsp" "test/data/renameFail" `shouldReturn` False + + describe "manual javascript session" $ + it "passes a test" $ + runSession "javascript-typescript-stdio" "test/data/javascriptPass" $ do + doc <- openDoc "test.js" "javascript" + + checkNoDiagnostics + + rspSymbols <- documentSymbols doc + + let (List symbols) = fromJust (rspSymbols ^. result) + fooSymbol = head symbols + liftIO $ do + fooSymbol ^. name `shouldBe` "foo" + fooSymbol ^. kind `shouldBe` SkFunction + + describe "text document state" $ + it "sends back didChange notifications" $ + runSession "hie --lsp" "test/data/refactor" $ do + doc <- openDoc "Main.hs" "haskell" + + let args = toJSON $ AOP (doc ^. uri) + (Position 1 14) + "Redundant bracket" + reqParams = ExecuteCommandParams "applyrefact:applyOne" (Just (List [args])) + sendRequest WorkspaceExecuteCommand reqParams + skipMany anyNotification + _ <- response :: Session ExecuteCommandResponse + + editReq <- request :: Session ApplyWorkspaceEditRequest + liftIO $ do + let (Just cs) = editReq ^. params . edit . changes + [(u, List es)] = HM.toList cs + u `shouldBe` doc ^. uri + es `shouldBe` [TextEdit (Range (Position 1 0) (Position 1 18)) "main = return 42"] + + checkNoDiagnostics + + parsingSpec + +data ApplyOneParams = AOP + { file :: Uri + , start_pos :: Position + , hintTitle :: String + } deriving (Generic, ToJSON) + +checkNoDiagnostics :: Session () +checkNoDiagnostics = do + diagsNot <- notification :: Session PublishDiagnosticsNotification + liftIO $ diagsNot ^. params . diagnostics `shouldBe` List [] + +documentSymbols :: TextDocumentIdentifier -> Session DocumentSymbolsResponse +documentSymbols doc = do + sendRequest TextDocumentDocumentSymbol (DocumentSymbolParams doc) + response \ No newline at end of file