From 500e9dce12c54c892689768a174b498eed904f7f Mon Sep 17 00:00:00 2001 From: Gergo ERDI Date: Wed, 16 Oct 2024 17:34:20 +0800 Subject: [PATCH] Don't print `LIQUID` banner in `--quiet` mode #1956 --- liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/CmdLine.hs index db96a7fd1b..a8c0ff9520 100644 --- 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