X-Git-Url: http://git.lukelau.me/?a=blobdiff_plain;f=test%2FTest.hs;h=07b95e34c568c333da2b8aaa2494a88d59a62d03;hb=ea0b53220519e178ca27e23c2a3be47fcf819afa;hp=09f8b341b27d5c89fe57e2213c81b6f6b726dbb0;hpb=2a96b8057517343244d3e716de0938dc4e6d7955;p=lsp-test.git

diff --git a/test/Test.hs b/test/Test.hs
index 09f8b34..07b95e3 100644
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -60,10 +60,10 @@ main = hspec $ do
                     withTimeout 5 $ skipManyTill anyMessage publishDiagnosticsNotification
           in void $ timeout 6000000 sesh
 
-      it "further timeout messages are ignored" $ runSession "hie" fullCaps "test/data/renamePass" $ do
+      it "further timeout messages are ignored" $ runSessionWithConfig (defaultConfig { logStdErr = True }) "hie -d --vomit" fullCaps "test/data/renamePass" $ do
         doc <- openDoc "Desktop/simple.hs" "haskell"
+        waitForDiagnostics
         withTimeout 3 $ getDocumentSymbols doc
-        liftIO $ threadDelay 5000000
         -- shouldn't throw an exception
         getDocumentSymbols doc
         return ()
@@ -264,7 +264,7 @@ main = hspec $ do
       doc <- openDoc "Desktop/simple.hs" "haskell"
       let pos = Position 20 23  -- Quit value
       defs <- getTypeDefinitions doc pos
-      liftIO $ defs `shouldBe` [Location (doc ^. uri) (mkRange 10 0 15 19)]  -- Type definition
+      liftIO $ defs `shouldBe` [Location (doc ^. uri) (mkRange 10 0 14 19)]  -- Type definition
 
   describe "waitForDiagnosticsSource" $
     it "works" $ runSession "hie" fullCaps "test/data" $ do
@@ -319,6 +319,13 @@ main = hspec $ do
               documentContents doc >>= liftIO . print
       in sesh `shouldThrow` anyException
 
+  describe "satisfy" $
+    it "works" $ runSession "hie" fullCaps "test/data" $ do
+      openDoc "Format.hs" "haskell"
+      let pred (NotLogMessage _) = True
+          pred _ = False
+      void $ satisfy pred
+
 mkRange sl sc el ec = Range (Position sl sc) (Position el ec)
 
 didChangeCaps :: ClientCapabilities