Add diagnostics to Stan descriptor (#3213)

This commit is contained in:
Pepe Iborra 2022-09-23 08:01:22 +02:00 committed by GitHub
parent b289e48064
commit fd1a7d1923
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -29,7 +29,8 @@ import GHC.Generics (Generic)
import HieTypes (HieASTs, HieFile)
import Ide.Plugin.Config
import Ide.Types (PluginDescriptor (..),
PluginId,
PluginId, configHasDiagnostics,
defaultConfigDescriptor,
defaultPluginDescriptor,
pluginEnabledConfig)
import qualified Language.LSP.Types as LSP
@ -42,7 +43,11 @@ import Stan.Observation (Observation (..))
descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState
descriptor recorder plId = (defaultPluginDescriptor plId)
{pluginRules = rules recorder plId}
{ pluginRules = rules recorder plId
, pluginConfigDescriptor = defaultConfigDescriptor
{ configHasDiagnostics = True
}
}
newtype Log = LogShake Shake.Log deriving (Show)