Stan: Import category

Author: andys8

plugins/hls-stan-plugin/src/Ide/Plugin/Stan.hs

@@ -43,6 +43,7 @@ import           Ide.Types                      (PluginDescriptor (..),
                                                  defaultPluginDescriptor)
 import qualified Language.LSP.Types             as LSP
 import           Stan.Analysis                  (Analysis (..), runAnalysis)
+import           Stan.Category                  (Category (..))
 import           Stan.Core.Id                   (Id (..))
 import           Stan.Inspection                (Inspection (..))
 import           Stan.Inspection.All            (inspectionsIds, inspectionsMap)
@@ -99,7 +100,7 @@ rules recorder = do
             T.unlines $
               [ " ✲ Name:        " <> inspectionName inspection,
                 " ✲ Description: " <> inspectionDescription inspection,
-                " ✲ Severity:    " <> (show $ inspectionSeverity inspection),
+                " ✲ Severity:    " <> (show $ inspectionSeverity inspection1),
                 " ✲ Category:    " <> T.intercalate " "
                   (map (("#" <>) . unCategory) $ toList $ inspectionCategory inspection),
                 "Possible solutions:"