Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings · ucsd-progsys/liquidhaskell#1956

(1 comment) (1 reaction) (0 assignees)Haskell (1,306 stars) (157 forks)batch import

good first issue

説明

This complicates tools which want to parse the output of the plugin and generate summary data (see #1955 for an example).

src/Language/Haskell/Liquid/UX/CmdLine.hs has a function reportResult that contains this enigmatic comment (see https://github.com/ucsd-progsys/liquidhaskell/blob/develop/src/Language/Haskell/Liquid/UX/CmdLine.hs#L744):

         -- For now, always print the \"header\" with colours, irrespective to the logger
         -- passed as input.

技術スタック: なし
領域: clideveloper experience
Issue 種別: bug
難度: 3
推定時間: 1-3 hours
活動状況: stale
明確さ: clear
前提条件: HaskellLiquidHaskell
初心者向け度: 50
調査方針: Examine the `reportResult` function in `src/Language/Haskell/Liquid/UX/CmdLine.hs` at line 744. The comment indicates that the header is forcibly printed with colors. The goal is to remove this override so that the output respects the compiler's color settings. Consider referencing issue #1955 for context on parsing output.