Skip to content

Fix docstring corruption from exhaustive annotation#92

Merged
SeanTAllen merged 1 commit intomainfrom
sean/fix-docstring-corruption
Mar 1, 2026
Merged

Fix docstring corruption from exhaustive annotation#92
SeanTAllen merged 1 commit intomainfrom
sean/fix-docstring-corruption

Conversation

@SeanTAllen
Copy link
Member

The automated \exhaustive\ annotation script incorrectly modified "match" inside multi-line docstrings (prose text and code examples), inserting \exhaustive\ into human-readable text and example code blocks.

The automated annotation script incorrectly modified "match" inside
multi-line docstrings (prose text and code examples).
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Mar 1, 2026
@SeanTAllen SeanTAllen merged commit 2f940bd into main Mar 1, 2026
10 checks passed
@SeanTAllen SeanTAllen deleted the sean/fix-docstring-corruption branch March 1, 2026 16:20
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Mar 1, 2026
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