Skip to content

cabal-install: drop confusing deprecated msgs for perfer-oldest/coverage - #12365

Merged
mergify[bot] merged 1 commit into
masterfrom
wip/T12357
Sep 26, 2026
Merged

mergify[bot] merged 1 commit into
masterfrom
wip/T12357

Conversation

@TeofilC

@TeofilC TeofilC commented Sep 18, 2026 •

Copy link
Copy Markdown
Member

The prefer-oldest and library-coverage arguments have now been superceded by new ones. We used deprecation messages that referred to the Cabal spec to communicate this, but this is wrong and confusing.
cabal-install flags have nothing to do with the Cabal spec!

Resolves #12357

Please read Github PR Conventions and then fill in one of these two templates.


E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

@TeofilC
TeofilC force-pushed the wip/T12357 branch 2 times, most recently from de8e6d6 to 41e259f Compare September 18, 2026 16:18
@TeofilC
TeofilC marked this pull request as ready for review September 19, 2026 15:39
@TeofilC

TeofilC commented Sep 19, 2026

Copy link
Copy Markdown
Member Author

I have not added a changelog entry, but I'm happy to do so if folks would like

@fgaz fgaz left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thank you! I'll let the others decide about the changelog entry

@ulysses4ever

ulysses4ever commented Sep 19, 2026 •

Copy link
Copy Markdown
Collaborator

it has been our practise to require changelogs for changes in cabal terminal output. These are user-facing and users can be interested in reading about such changes in release notes. Arguably, in this case removing messages isn't that interesting. But it's easier to stick to the rule rather than guess.

@TeofilC

TeofilC commented Sep 21, 2026 •

Copy link
Copy Markdown
Member Author

Added a changelog fragment

The prefer-oldest and library-coverage arguments have now been superceded by new ones.
We used deprecation messages that referred to the Cabal spec to communicate this,
but this is wrong and confusing.
cabal-install flags have nothing to do with the Cabal spec!

Resolves #12357

@andreabedini andreabedini left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@Mikolaj

Mikolaj commented Sep 24, 2026

Copy link
Copy Markdown
Member

Please set the merge_me label to the merge process started. Let me know if you can't.

@TeofilC TeofilC added the merge me Tell Mergify Bot to merge label Sep 24, 2026
@mergify mergify Bot added ready and waiting Mergify is waiting out the cooldown period merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Sep 24, 2026
@mergify

mergify Bot commented Sep 26, 2026 •

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • ✅ Entered queue — 2026-09-26 17:49 UTC · Rule: default · triggered by rule Put pull requests in the rebase+merge queue
  • ✅ Checks passed · on draft merge queue: checking #12365 on master (a26fbaa) #12381
  • ✅ Merged — 2026-09-26 19:40 UTC · at d2c93020c210f99615a1789f12eca4dead4d5eb8 · merge

This pull request spent 1 hour 50 minutes 37 seconds in the queue, including 1 hour 39 minutes 46 seconds running CI.

Required conditions to merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

@mergify mergify Bot mentioned this pull request Sep 26, 2026
44 of 84 tasks
@mergify
mergify Bot merged commit d2c9302 into master Sep 26, 2026
71 checks passed
@mergify
mergify Bot deleted the wip/T12357 branch September 26, 2026 19:40
@mergify mergify Bot removed the queued label Sep 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

prefer-version has nothing to do with CabalSpecVersion

5 participants