Skip to content

Fix invalid non-singleton constraint suggestion edits - #5028

Draft
crtschin wants to merge 3 commits into
haskell:masterfrom
crtschin:crtschin/fix-3486-quantified-constraint
Draft

Fix invalid non-singleton constraint suggestion edits#5028
crtschin wants to merge 3 commits into
haskell:masterfrom
crtschin:crtschin/fix-3486-quantified-constraint

Conversation

@crtschin

Copy link
Copy Markdown
Collaborator

Ref: #3486
Closes: #4605

Makes the following changes

  • Fixes the incorrect constraint edit in constraint lists with extra parentheses.
  • Adds a lens to pull missing constraints from diagnostics.
  • Use the diagnostic ranges to deduce where to add the constraints, instead of regex matching.

@crtschin
crtschin force-pushed the crtschin/fix-3486-quantified-constraint branch from 05314ed to b5763f3 Compare July 26, 2026 00:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Migrate all plugins and ghcide to use structured diagnostics

1 participant