splint 2.0.0.1 → 2.0.0.2

raw patch · 2 files changed

+6/−4 lines, 2 files

Files

• source/library/Splint.hs +5/−3
• splint.cabal +1/−1

@@ -24,10 +24,12 @@  parsedResultAction ::   [GHC.Plugins.CommandLineOption] ->-  modSummary ->+  GHC.Plugins.ModSummary ->   GHC.Plugins.ParsedResult ->   GHC.Plugins.Hsc GHC.Plugins.ParsedResult-parsedResultAction commandLineOptions _modSummary parsedResult = do+parsedResultAction commandLineOptions modSummary parsedResult = do+  let fp = GHC.Plugins.ms_hspp_file modSummary+  GHC.Plugins.liftIO . IO.hPutStrLn IO.stderr $ "[splint] Processing " <> fp <> " ..."   logger <- GHC.Utils.Logger.getLogger   dynFlags <- GHC.Plugins.getDynFlags   let ghcMessageOpts = GHC.Driver.Config.Diagnostic.initPrintConfig dynFlags@@ -40,7 +42,7 @@             . HLint.createModuleEx             . GHC.Hs.hpm_module             $ GHC.Plugins.parsedResultModule parsedResult-    mapM_ (IO.hPutStrLn IO.stderr . mappend "[splint] " . show) ideas+    IO.hPutStrLn IO.stderr $ "[splint] Processed " <> fp <> ": " <> show (length ideas)     GHC.Driver.Errors.printOrThrowDiagnostics logger ghcMessageOpts diagOpts       . GHC.Types.Error.mkMessages       . GHC.Data.Bag.listToBag

@@ -1,6 +1,6 @@ cabal-version: 2.2 name: splint-version: 2.0.0.1+version: 2.0.0.2 synopsis: HLint as a GHC source plugin. description:   Splint makes HLint available as a GHC source plugin. To use it, pass