ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1,990 opened on 2022年5月30日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Haskell (1,306 stars) (157 forks)batch import
good first issue

説明

By inspecting the code in src/Language/Haskell/Liquid/UX/CmdLine.hs we see that the contents of the env var is parsed as a single argument. This should be changed to deal with multiple arguments. And we should confirm this bug, since we didn't discover it with a test but by code inspection.

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

技術スタック
なし
領域
tooling
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
2
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3 hours
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
fresh
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
basic Haskellunderstanding of command line parsing
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
60
調査方針
Examine the file src/Language/Haskell/Liquid/UX/CmdLine.hs where the LIQUIDHASKELL OPTS environment variable is parsed as a single argument. The fix involves modifying the parsing logic to handle multiple arguments, likely by splitting the string or using a proper argument parser. The issue was discovered by code inspection, so no test exists yet; a new test should be added to verify the fix.