Skip to content

Comments

Replace pagination_link_parser with ponylang/web_link#67

Merged
SeanTAllen merged 1 commit intomainfrom
replace-pagination-link-parser-with-web-link
Feb 19, 2026
Merged

Replace pagination_link_parser with ponylang/web_link#67
SeanTAllen merged 1 commit intomainfrom
replace-pagination-link-parser-with-web-link

Conversation

@SeanTAllen
Copy link
Member

Replaces the internal PEG-based pagination_link_parser subpackage (which
depended on ponylang/peg and transitively kiuatan) with the
ponylang/web_link library (v0.1.0) for RFC 8288 Link header parsing.

This simplifies the dependency tree and moves Link header parsing
maintenance out of this library. A new private _ExtractPaginationLinks
primitive wraps web_link's ParseLinkHeader, extracting only the
prev/next URLs that pagination needs.

No public API changes. Also fixes stale CLAUDE.md entries that claimed
search pagination was not implemented.

The internal PEG-based pagination_link_parser subpackage depended on
ponylang/peg (which transitively pulls in kiuatan). The ponylang/web_link
library implements RFC 8288 Link header parsing with zero dependencies,
so switching to it simplifies the dependency tree and moves Link header
parsing maintenance out of this library.

The new _ExtractPaginationLinks private primitive wraps web_link's
ParseLinkHeader, extracting only the prev/next URLs that pagination
needs. Both paginated_list.pony and search.pony now use it instead of
the old ExtractPaginationLinks + PaginationLinks match pattern.

Also fixes stale CLAUDE.md entries that claimed search pagination was
not implemented (it has been implemented for some time).
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 19, 2026
@SeanTAllen SeanTAllen merged commit dc12c53 into main Feb 19, 2026
10 checks passed
@SeanTAllen SeanTAllen deleted the replace-pagination-link-parser-with-web-link branch February 19, 2026 13:45
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 19, 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