Merge pull request #32 from fendor/tdr-test-impls
[lsp-test.git] / test / Test.hs
index c5b02e8f91842c85d07b07cd1198dcffc7ee530e..380c98b90aedf2c9c498ed3f1539d010edeafc15 100644 (file)
@@ -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 15 10 19)]  -- First constructor
+      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