Skip to content

Turn on pony-lint - #147

Merged
SeanTAllen merged 1 commit into
mainfrom
sean/turn-on-linting
Aug 21, 2026
Merged

Turn on pony-lint#147
SeanTAllen merged 1 commit into
mainfrom
sean/turn-on-linting

Conversation

@SeanTAllen

@SeanTAllen SeanTAllen commented Aug 21, 2026

Copy link
Copy Markdown
Member

Add pony-lint CI workflow for PRs, nightly linting in the breakage-against-ponyc-latest workflow, and a make lint target. Fix all existing lint violations across the codebase.

Rename 25 public types from Json to JSON to satisfy the acronym-casing lint rule and align with the request/ subpackage which already used uppercase JSON. This is a breaking change — all downstream code using the old names will need to update. The full list of renames is in the release notes.

Extract LinkedResultReceiver interface from paginated_list.pony into its own file to satisfy the file-naming lint rule.

Update README code example to use lori.TCPConnectAuth instead of the stale net.TCPConnectAuth and add \exhaustive\ to the match.

Closes #145

@SeanTAllen SeanTAllen added the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Aug 21, 2026
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Aug 21, 2026
@SeanTAllen SeanTAllen changed the title Turn on linting Rename Json to JSON in public type names Aug 21, 2026
@SeanTAllen SeanTAllen removed the changelog - changed Automatically add "Changed" CHANGELOG entry on merge label Aug 21, 2026
SeanTAllen added a commit that referenced this pull request Aug 21, 2026
Manual CHANGELOG handling since the release has two Changed
entries from separate PRs (#146 and #147).
@SeanTAllen SeanTAllen changed the title Rename Json to JSON in public type names Turn on pony-lint Aug 21, 2026
@SeanTAllen
SeanTAllen force-pushed the sean/turn-on-linting branch from 0ef9fa7 to 674dc44 Compare August 21, 2026 23:23
@SeanTAllen
SeanTAllen force-pushed the sean/turn-on-linting branch from b8001d9 to 18e4b1e Compare August 21, 2026 23:29
@SeanTAllen
SeanTAllen merged commit 1cd55ef into main Aug 21, 2026
6 checks passed
@SeanTAllen
SeanTAllen deleted the sean/turn-on-linting branch August 21, 2026 23:35
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Aug 21, 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.

Turning on linting

2 participants