ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1,990 opened on May 30, 2022

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (1,306 stars) (157 forks)batch import
good first issue

Description

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.

Contributor guide

Tech stack
None
Domain
tooling
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
basic Haskellunderstanding of command line parsing
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60
Research direction
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.