10
10
{-# LANGUAGE TypeOperators #-}
11
11
{-# LANGUAGE PolyKinds #-}
12
12
{-# LANGUAGE CPP #-}
13
+ {-# OPTIONS_GHC -Wno-deprecations -Wno-unticked-promoted-constructors #-}
13
14
#include "ghc-api-version.h"
14
15
15
16
module Main (main ) where
@@ -19,7 +20,7 @@ import Control.Exception (bracket_, catch)
19
20
import qualified Control.Lens as Lens
20
21
import Control.Monad
21
22
import Control.Monad.IO.Class (MonadIO , liftIO )
22
- import Data.Aeson (FromJSON , Value , toJSON ,fromJSON )
23
+ import Data.Aeson (toJSON ,fromJSON )
23
24
import qualified Data.Aeson as A
24
25
import qualified Data.Binary as Binary
25
26
import Data.Default
@@ -33,7 +34,6 @@ import Development.IDE.Core.PositionMapping (fromCurrent, toCurrent, PositionRes
33
34
import Development.IDE.Core.Shake (Q (.. ))
34
35
import Development.IDE.GHC.Util
35
36
import qualified Data.Text as T
36
- import Data.Typeable
37
37
import Development.IDE.Plugin.Completions.Types (extendImportCommandId )
38
38
import Development.IDE.Plugin.TypeLenses (typeLensCommandId )
39
39
import Development.IDE.Spans.Common
@@ -89,11 +89,6 @@ waitForProgressBegin = skipManyTill anyMessage $ satisfyMaybe $ \case
89
89
FromServerMess SProgress (NotificationMessage _ _ (ProgressParams _ (Begin _))) -> Just ()
90
90
_ -> Nothing
91
91
92
- waitForProgressReport :: Session ()
93
- waitForProgressReport = skipManyTill anyMessage $ satisfyMaybe $ \ case
94
- FromServerMess SProgress (NotificationMessage _ _ (ProgressParams _ (Report _))) -> Just ()
95
- _ -> Nothing
96
-
97
92
waitForProgressDone :: Session ()
98
93
waitForProgressDone = skipManyTill anyMessage $ satisfyMaybe $ \ case
99
94
FromServerMess SProgress (NotificationMessage _ _ (ProgressParams _ (End _))) -> Just ()
@@ -201,6 +196,7 @@ initializeResponseTests = withResource acquire release tests where
201
196
202
197
innerCaps :: ResponseMessage Initialize -> ServerCapabilities
203
198
innerCaps (ResponseMessage _ _ (Right (InitializeResult c _))) = c
199
+ innerCaps (ResponseMessage _ _ (Left _)) = error " Initialization error"
204
200
205
201
acquire :: IO (ResponseMessage Initialize )
206
202
acquire = run initializeResponse
0 commit comments