@@ -9,7 +9,6 @@ module Development.IDE.Types.Options
9 , IdePreprocessedSource(..)
9 , IdePreprocessedSource(..)
10 , IdeReportProgress(..)
10 , IdeReportProgress(..)
11 , IdeDefer(..)
11 , IdeDefer(..)
13 , clientSupportsProgress
12 , clientSupportsProgress
14 , IdePkgLocationOptions(..)
13 , IdePkgLocationOptions(..)
15 , defaultIdeOptions
14 , defaultIdeOptions
@@ -41,7 +40,7 @@ data IdeOptions = IdeOptions
41 -- meaning we keep everything in memory but the daml CLI compiler uses this for incremental builds.
40 -- meaning we keep everything in memory but the daml CLI compiler uses this for incremental builds.
42 , optShakeProfiling :: Maybe FilePath
41 , optShakeProfiling :: Maybe FilePath
43 -- ^ Set to 'Just' to create a directory of profiling reports.
42 -- ^ Set to 'Just' to create a directory of profiling reports.
44− , optTesting :: IdeTesting
43+ , optTesting :: Bool
45 -- ^ Whether to enable additional lsp messages used by the test suite for checking invariants
44 -- ^ Whether to enable additional lsp messages used by the test suite for checking invariants
46 , optReportProgress :: IdeReportProgress
45 , optReportProgress :: IdeReportProgress
47 -- ^ Whether to report progress during long operations.
46 -- ^ Whether to report progress during long operations.
@@ -68,7 +67,6 @@ data IdePreprocessedSource = IdePreprocessedSource
69newtype IdeReportProgress = IdeReportProgress Bool
68newtype IdeReportProgress = IdeReportProgress Bool
70newtype IdeDefer = IdeDefer Bool
69newtype IdeDefer = IdeDefer Bool
71−newtype IdeTesting = IdeTesting Bool
73clientSupportsProgress :: LSP.ClientCapabilities -> IdeReportProgress
71clientSupportsProgress :: LSP.ClientCapabilities -> IdeReportProgress
74clientSupportsProgress caps = IdeReportProgress $ Just True ==
72clientSupportsProgress caps = IdeReportProgress $ Just True ==
@@ -87,7 +85,7 @@ defaultIdeOptions session = IdeOptions
87 ,optLanguageSyntax = "haskell"
85 ,optLanguageSyntax = "haskell"
88 ,optNewColonConvention = False
86 ,optNewColonConvention = False
89 ,optDefer = IdeDefer True
87 ,optDefer = IdeDefer True
90− ,optTesting = IdeTesting False
88+ ,optTesting = False