Add test for window/progress

Author: lukel97

haskell-ide-engine.cabal

@@ -263,6 +263,7 @@ test-suite func-test
                      , HaReSpec
                      , HighlightSpec
                      , HoverSpec
+                     , ProgressSpec
                      , ReferencesSpec
                      , RenameSpec
                      , SymbolsSpec
@@ -275,9 +276,9 @@ test-suite func-test
                      , data-default
                      , directory
                      , filepath
-                     , lsp-test >= 0.5.1.1 && < 0.5.2
+                     , lsp-test >= 0.5.1.3
                      , haskell-ide-engine
-                     , haskell-lsp-types
+                     , haskell-lsp-types == 0.10.*
                      , hie-test-utils
                      , hie-plugin-api
                      , hspec

stack-8.2.1.yaml

@@ -23,7 +23,7 @@ extra-deps:
 - haskell-lsp-types-0.10.0.0
 - hlint-2.0.11
 - hsimport-0.8.6
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - mtl-2.2.2
 - pretty-show-1.8.2

stack-8.2.2.yaml

@@ -27,7 +27,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - pretty-show-1.8.2
 - sorted-list-0.2.1.0

stack-8.4.2.yaml

@@ -25,7 +25,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - pretty-show-1.8.2
 - syz-0.2.0.0

stack-8.4.3.yaml

@@ -24,7 +24,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - pretty-show-1.8.2
 - syz-0.2.0.0

stack-8.4.4.yaml

@@ -24,7 +24,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - optparse-simple-0.1.0
 - pretty-show-1.9.5

stack-8.6.1.yaml

@@ -26,7 +26,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - monad-memo-0.4.1
 - monoid-subclasses-0.4.6.1

stack-8.6.2.yaml

@@ -22,7 +22,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - monad-memo-0.4.1
 - multistate-0.8.0.1

stack-8.6.3.yaml

@@ -22,7 +22,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2
 - monad-memo-0.4.1
 - multistate-0.8.0.1

stack-8.6.4.yaml

@@ -22,7 +22,7 @@ extra-deps:
 - hlint-2.1.16
 - hoogle-5.0.17.6
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2@rev:1
 - monad-memo-0.4.1
 - multistate-0.8.0.1

stack.yaml

@@ -23,7 +23,7 @@ extra-deps:
 - haskell-src-exts-util-0.2.5
 - hlint-2.1.16
 - hsimport-0.8.8
-- lsp-test-0.5.1.1
+- lsp-test-0.5.1.3
 - monad-dijkstra-0.1.1.2@rev:1
 - monad-memo-0.4.1
 - multistate-0.8.0.1

test/functional/ProgressSpec.hs

@@ -0,0 +1,56 @@
+{-# LANGUAGE OverloadedStrings #-}
+module ProgressSpec where
+
+import Control.Applicative.Combinators
+import Control.Lens
+import Control.Monad.IO.Class
+import Language.Haskell.LSP.Test
+import Language.Haskell.LSP.Types
+import qualified Language.Haskell.LSP.Types.Lens as L
+import Language.Haskell.LSP.Types.Capabilities
+import Test.Hspec
+import TestUtils
+
+spec :: Spec
+spec = describe "window/progress" $
+  it "sends indefinite progress notifications" $
+    -- Testing that ghc-mod sends progress notifications
+    runSession hieCommand progressCaps "test/testdata" $ do
+      doc <- openDoc "ApplyRefact2.hs" "haskell"
+
+      skipMany loggingNotification
+
+      -- Initial hlint notifications
+      _ <- publishDiagnosticsNotification
+
+      startNotification <- message :: Session ProgressStartNotification 
+      liftIO $ do
+        startNotification ^. L.params . L.title `shouldBe` "Typechecking ApplyRefact2.hs"
+        startNotification ^. L.params . L.id `shouldBe` "0"
+
+      doneNotification <- message :: Session ProgressDoneNotification
+      liftIO $ doneNotification ^. L.params . L.id `shouldBe` "0"
+
+      -- the ghc-mod diagnostics
+      _ <- publishDiagnosticsNotification
+
+      -- Test incrementing ids
+      sendNotification TextDocumentDidSave (DidSaveTextDocumentParams doc)
+
+      -- hlint notifications
+      _ <- publishDiagnosticsNotification
+
+      startNotification' <- message :: Session ProgressStartNotification 
+      liftIO $ do
+        startNotification' ^. L.params . L.title `shouldBe` "Typechecking ApplyRefact2.hs"
+        startNotification' ^. L.params . L.id `shouldBe` "1"
+
+      doneNotification' <- message :: Session ProgressDoneNotification
+      liftIO $ doneNotification' ^. L.params . L.id `shouldBe` "1"
+      
+      -- the ghc-mod diagnostics
+      const () <$> publishDiagnosticsNotification
+      
+
+progressCaps :: ClientCapabilities
+progressCaps = fullCaps { _window = Just (WindowClientCapabilities (Just True)) }