Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Oct 9, 2025

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch master (84f2e4f) and #11237 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #11237.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

  • #approved-reviews-by >= 2 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 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

Required conditions to stay in the queue:

---
checking_base_sha: 84f2e4fc6ca8ae37c770148c981334169b21ba0f
previous_failed_batches: []
pull_requests:
  - number: 11237
...

philderbeast and others added 2 commits October 7, 2025 12:19
Issue 1: In 3.14 there was a poor error when starting a repl in a
project context without any targets. In 3.16, this error regressed, so
cabal just exited cleanly.
Issue 2: The repl was broken when started from a global context.

Issue 1 is fixed by checking to see if there are any user targets, and
issuing a proper error if there are none.

Issue 2 is fixed by specifying the correct fake target which is
constructed when starting the repl in the global context.

Both are reported in #11107 and fixed in this patch.

Co-authored-by: Matthew Pickering <[email protected]>
@mergify mergify bot closed this Oct 9, 2025
@mergify mergify bot deleted the mergify/merge-queue/a5ef716302 branch October 9, 2025 15:36
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.

2 participants