ucsd-progsys/liquidhaskell

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

Open

#1,957 opened on 2022年3月30日

GitHub で見る
 (1 comment) (0 reactions) (0 assignees)Haskell (157 forks)batch import
good first issue

Repository metrics

Stars
 (1,306 stars)
PR merge metrics
 (平均マージ 2d 18h) (30d で 12 merged PRs)

説明

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.

コントリビューターガイド

調査方針
ddump json が有効な場合にメッセージを出力する Liquid Haskell プラグインコードを調査します。ヘッダー出力と、仕様内の 'false' に関連する WARNING メッセージに焦点を当てます。参照されている issue #1955 と #1956 を確認して文脈を把握します。コードのどの部分が非 JSON を出力しているかを特定し、それらが JSON 形式に準拠していることを確認します。
技術スタック
なし
領域
tooling
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
調査が必要
前提条件
HaskellGHC
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
40