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

(1 评论) (1 反应) (0 负责人)Haskell (157 fork)batch import

good first issue

仓库指标

Star: (1,306 star)
PR 合并指标: (平均合并 2天 18小时) (30 天内合并 12 个 PR)

描述

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.

贡献者指南

研究方向: 检查 `src/Language/Haskell/Liquid/UX/CmdLine.hs` 第 744 行的 `reportResult` 函数。注释指出标题被强制以彩色打印。目标是移除此覆盖，使输出尊重编译器的颜色设置。可参考 issue #1955 以了解解析输出的上下文。
技术栈: 无
领域: clideveloper experience
议题类型: 缺陷
难度: 2
预计时间: 1-3 小时
活动状态: 活跃
清晰度: 清晰
前置要求: Git
新手友好度: 80