@@ -29,14 +29,16 @@ module Development.IDE.Test
29
29
, getStoredKeys
30
30
, waitForCustomMessage
31
31
, waitForGC
32
- ,getBuildKeysBuilt ,getBuildKeysVisited ,getBuildKeysChanged ,getBuildEdgesCount ) where
32
+ ,getBuildKeysBuilt ,getBuildKeysVisited ,getBuildKeysChanged ,getBuildEdgesCount , configureCheckProject ) where
33
33
34
34
import Control.Applicative.Combinators
35
35
import Control.Lens hiding (List )
36
36
import Control.Monad
37
37
import Control.Monad.IO.Class
38
+ import Data.Aeson (toJSON )
38
39
import qualified Data.Aeson as A
39
40
import Data.Bifunctor (second )
41
+ import Data.Default
40
42
import qualified Data.Map.Strict as Map
41
43
import Data.Maybe (fromJust )
42
44
import Data.Text (Text )
@@ -45,7 +47,7 @@ import Development.IDE.Plugin.Test (TestRequest (..),
45
47
WaitForIdeRuleResult ,
46
48
ideResultSuccess )
47
49
import Development.IDE.Test.Diagnostic
48
- import Ide.Plugin.Config (CheckParents )
50
+ import Ide.Plugin.Config (CheckParents , checkProject )
49
51
import Language.LSP.Test hiding (message )
50
52
import qualified Language.LSP.Test as LspTest
51
53
import Language.LSP.Types hiding
@@ -246,3 +248,9 @@ waitForGC = waitForCustomMessage "ghcide/GC" $ \v ->
246
248
case A. fromJSON v of
247
249
A. Success x -> Just x
248
250
_ -> Nothing
251
+
252
+ configureCheckProject :: Bool -> Session ()
253
+ configureCheckProject overrideCheckProject =
254
+ sendNotification SWorkspaceDidChangeConfiguration
255
+ (DidChangeConfigurationParams $ toJSON
256
+ def{checkProject = overrideCheckProject})
0 commit comments