ucsd-progsys/liquidhaskell

Plugin prints certain messages as non-json when `-ddump-json` is enabled

Open

#1,957 创建于 2022年3月30日

在 GitHub 查看
 (1 评论) (0 反应) (0 负责人)Haskell (1,306 star) (157 fork)batch import
good first issue

描述

This complicates parsing the output of GHC, and breaks the contract that is implied by -ddump-json. See #1955 for an example of when this comes up.

Two things I've found are: the header (see also #1956 for another issue related to this), and certain WARNING:s that are printed when the plugin finds false in a specification. Unsure if this second one is just a debug message that was forgotten to be switched off or something.

贡献者指南

技术栈
无
领域
clitooling
议题类型
bug
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 hours
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
stale
清晰度议题是否清楚说明期望改动、验收标准和下一步。
clear
前置要求
Understanding of GHC's ddump json flagFamiliarity with Liquid Haskell plugin
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30
研究方向
Investigate the Liquid Haskell plugin code that prints messages when ddump json is enabled. Focus on the header output and any WARNING messages related to 'false' in specifications. Check the referenced issues #1955 and #1956 for context. Determine which parts of the code output non JSON and ensure they adhere to JSON format.