Add intermediate progress report notification

mpickering · Oct 23, 2019 · 582ff05 · 582ff05
1 parent f561472
commit 582ff05
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/functional/ProgressSpec.hs b/test/functional/ProgressSpec.hs
@@ -78,8 +78,9 @@ spec = describe "window/workDoneProgress" $ do
 
       skipMany loggingNotification
 
-      _ <- message :: Session  WorkDoneProgressCreateRequest
+      _ <- message :: Session WorkDoneProgressCreateRequest
       _ <- message :: Session WorkDoneProgressBeginNotification
+      _ <- message :: Session WorkDoneProgressReportNotification
       _ <- message :: Session WorkDoneProgressEndNotification
 
       -- the hie-bios diagnostics