Don't print LIQUID banner in --quiet mode #1956

ucsd-progsys · Oct 16, 2024 · 500e9dc · 500e9dc
1 parent 39c7ce4
commit 500e9dc
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
@@ -779,7 +779,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