Merge pull request #2391 from gergoerdi/T1956

Don't print `LIQUID` banner in `--quiet` mode #1956
ucsd-progsys · Oct 17, 2024 · e7d2d00 · e7d2d00
2 parents c77a09b + 500e9dc
commit e7d2d00
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs
@@ -773,7 +773,8 @@ reportResult logResultFull cfg targets out = do
          let outputResult = resDocs tidy cr
          -- For now, always print the \"header\" with colours, irrespective to the logger
          -- passed as input.
-         liftIO $ printHeader (colorResult r) (orHeader outputResult)
+         when (loggingVerbosity cfg >= Normal) $
+             liftIO $ printHeader (colorResult r) (orHeader outputResult)
          logResultFull outputResult
   where
     tidy :: F.Tidy