@@ -9,7 +9,6 @@ module Development.IDE.Types.Options
99 , IdePreprocessedSource(..)
1010 , IdeReportProgress(..)
1111 , IdeDefer(..)
12− , IdeTesting(..)
1312 , clientSupportsProgress
1413 , IdePkgLocationOptions(..)
1514 , defaultIdeOptions
@@ -41,7 +40,7 @@ data IdeOptions = IdeOptions
4140 -- meaning we keep everything in memory but the daml CLI compiler uses this for incremental builds.
4241 , optShakeProfiling :: Maybe FilePath
4342 -- ^ Set to 'Just' to create a directory of profiling reports.
44− , optTesting :: IdeTesting
43+ , optTesting :: Bool
4544 -- ^ Whether to enable additional lsp messages used by the test suite for checking invariants
4645 , optReportProgress :: IdeReportProgress
4746 -- ^ Whether to report progress during long operations.
@@ -68,7 +67,6 @@ data IdePreprocessedSource = IdePreprocessedSource
6867
6968newtype IdeReportProgress = IdeReportProgress Bool
7069newtype IdeDefer = IdeDefer Bool
71−newtype IdeTesting = IdeTesting Bool
7270
7371clientSupportsProgress :: LSP.ClientCapabilities -> IdeReportProgress
7472clientSupportsProgress caps = IdeReportProgress $ Just True ==
@@ -87,7 +85,7 @@ defaultIdeOptions session = IdeOptions
8785 ,optLanguageSyntax = "haskell"
8886 ,optNewColonConvention = False
8987 ,optDefer = IdeDefer True
90− ,optTesting = IdeTesting False
88+ ,optTesting = False
9189 }
9290
9391