Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add lenses to PParams, create a [Era]EraPParams class for each era that needs it #3045

Closed
wants to merge 5 commits into from

Conversation

Soupstraw
Copy link
Contributor

@Soupstraw Soupstraw commented Sep 20, 2022

closes #2927

@Soupstraw Soupstraw changed the title WIP: Jj/pparams lens WIP: Add lenses to PParams, create a [Era]EraPParams class for each era that needs it Sep 20, 2022
@Soupstraw Soupstraw force-pushed the jj/pparams-lens branch 2 times, most recently from fe20513 to 357152a Compare September 22, 2022 10:02
@aniketd aniketd force-pushed the jj/pparams-lens branch 2 times, most recently from 4a09653 to 2ee6e84 Compare October 21, 2022 13:59
Copy link
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

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

I thought I'll skim through the PR. Here are some comments and questions from me

@Soupstraw
Copy link
Contributor Author

This PR has become stale

@Soupstraw Soupstraw closed this Nov 30, 2022
@lehins lehins reopened this Nov 30, 2022
@lehins
Copy link
Collaborator

lehins commented Nov 30, 2022

@Soupstraw Despite that this PR has diverged a bit from master it is still useful work that will be picked up a bit later. Currently it is blocked by #3171

@lehins lehins force-pushed the jj/pparams-lens branch 7 times, most recently from 1774cd3 to 1253991 Compare December 28, 2022 20:06
@lehins lehins force-pushed the jj/pparams-lens branch 6 times, most recently from 4af026e to 4a148bf Compare January 10, 2023 13:38
@lehins lehins changed the title WIP: Add lenses to PParams, create a [Era]EraPParams class for each era that needs it Add lenses to PParams, create a [Era]EraPParams class for each era that needs it Jan 10, 2023
@lehins lehins marked this pull request as ready for review January 10, 2023 14:54
@lehins
Copy link
Collaborator

lehins commented Jan 10, 2023

Closing in favor of the work that was built atop of this PR: #3242

@lehins lehins closed this Jan 10, 2023
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.

Switch PParams to use lenses instead of HasField
4 participants