Skip to content

Remove docgen pass#5097

Merged
SeanTAllen merged 1 commit intomainfrom
remove-docgen-pass
Apr 2, 2026
Merged

Remove docgen pass#5097
SeanTAllen merged 1 commit intomainfrom
remove-docgen-pass

Conversation

@SeanTAllen
Copy link
Copy Markdown
Member

pony-doc (shipped in 0.61.0) fully replaces the built-in documentation generation pass. The 0.61.0 release notes said "The docs pass will remain in ponyc for now but will eventually be removed." This removes it.

Deletes docgen.c, docgen.h, logo.h, the PASS_DOCS enum entry, the --docs/-g/--docs-public CLI flags, and the docs/docs_private fields from pass_opt_t. Updates the Pony compiler library bindings (pass.pony) to match — removes PassDocs and renumbers subsequent pass primitives. Switches the CI stdlib documentation build from ponyc --docs-public to pony-doc. Cleans up ~20 stale docgen.c cross-references in pony-doc source docstrings.

Closes #5021

@SeanTAllen SeanTAllen added the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Apr 2, 2026
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Apr 2, 2026
Copy link
Copy Markdown
Member

@orien orien left a comment

Choose a reason for hiding this comment

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

LGTM

pony-doc (shipped in 0.61.0) fully replaces the built-in documentation
generation pass. Remove the pass, its CLI flags, and all stale
cross-references.

Closes #5021
@SeanTAllen SeanTAllen force-pushed the remove-docgen-pass branch from e397e2a to fba3c70 Compare April 2, 2026 17:12
@SeanTAllen SeanTAllen merged commit a893eba into main Apr 2, 2026
19 checks passed
@SeanTAllen SeanTAllen deleted the remove-docgen-pass branch April 2, 2026 18:35
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Apr 2, 2026
github-actions bot pushed a commit that referenced this pull request Apr 2, 2026
github-actions bot pushed a commit that referenced this pull request Apr 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog - changed Automatically add "Changed" CHANGELOG entry on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

remove docgen pass

3 participants