Skip to content

Show debug-info can be a boolean#12143

Merged
mergify[bot] merged 1 commit into
haskell:masterfrom
cabalism:doc/debug-info-bool
Jul 26, 2026
Merged

Show debug-info can be a boolean#12143
mergify[bot] merged 1 commit into
haskell:masterfrom
cabalism:doc/debug-info-bool

Conversation

@philderbeast

Copy link
Copy Markdown
Collaborator

Fixes #12142. Add boolean as a type and the range of integers accepted. Also moves the GHC-specific details to their own tip-like admonition.

As rendered:

image
  • 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).

@philderbeast philderbeast changed the title Doc/debug info bool Show debug-info can be a boolean Jul 22, 2026
- Move GHC-specifc not to its own admonition
@philderbeast
philderbeast force-pushed the doc/debug-info-bool branch from 6623e01 to df6f98b Compare July 23, 2026 10:17
@philderbeast philderbeast added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Jul 23, 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 Jul 23, 2026
@mergify

mergify Bot commented Jul 25, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

This pull request spent 17 hours 58 minutes 34 seconds in the queue, including 1 hour 52 minutes 14 seconds running CI.

Required conditions to merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • github-review-approved [🛡 GitHub branch protection] (documentation)
  • 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 merged commit 3ddbb38 into haskell:master Jul 26, 2026
71 checks passed
@mergify mergify Bot removed the queued label Jul 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.

debug-info type is not only integer

3 participants