-
Notifications
You must be signed in to change notification settings - Fork 215
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
1488 Endo Passable #8774
1488 Endo Passable #8774
Conversation
854ed91
to
55fb2fa
Compare
98dd81a
to
7acec08
Compare
9694a37
to
d52b5fd
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
hope to discuss my comments so far
* @param {Promise<Installation>} installationP | ||
* @param {IssuerKeywordRecord} uncleanIssuerKeywordRecord | ||
* @param {unknown} customTerms | ||
* @param {unknown} privateArgs | ||
* @param {string} instanceLabel |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
in my work-in-progress docs branch, I used @type ZoeService['startInstance']
here, I think
* @returns {B extends Brand<'nat'> | ||
* ? NatAmount |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
doesn't AmountMath.make(aNatBrand, ['a set value'])
falsify this inference?
closes: #1488 ## Description Reattempting: - #1933 Again: - Makes `Passable` a generic type instead of `any`. - Defines overloads for `passStyleOf` to return the actual style. - Defines the `Key` in terms of `Passable` - Makes a ton of fixes and suppressions in places that relied on the previous `any`'s ### Security Considerations n/a ### Scaling Considerations n/a ### Documentation Considerations Better types are better documentation. ### Testing Considerations - [ ] Agoric/agoric-sdk#8774 ### Upgrade Considerations These changes may cause type errors downstream. I don't think we should call those breaking change à la semver because they don't affect the runtime.
487fca0
to
18720f3
Compare
endojs/endo#2238 merged to master so I updated the Once this is green the next steps are to:
|
08a881d
to
e87ed66
Compare
## Description `ScalarKey` is a patterns concept but without a typedef. This defines it. Necessary for Agoric/agoric-sdk#8774 (review) ### Security Considerations no ### Scaling Considerations no ### Documentation Considerations no ### Testing Considerations new tests ### Compatibility Considerations no ### Upgrade Considerations no
This brings Agoric in sync with Endo versions endojs/endo#2272 which covers a new `Passable` type and improvements to `pass-style`, `patterns`, and `exo`. This subsumes changes from #8774 necessary for integration.
Landed in the sync PR |
## Description Follow up to #8774 Fix the Board types ### Security Considerations <!-- Does this change introduce new assumptions or dependencies that, if violated, could introduce security vulnerabilities? How does this PR change the boundaries between mutually-suspicious components? What new authorities are introduced by this change, perhaps by new API calls? --> ### Scaling Considerations <!-- Does this change require or encourage significant increase in consumption of CPU cycles, RAM, on-chain storage, message exchanges, or other scarce resources? If so, can that be prevented or mitigated? --> ### Documentation Considerations <!-- Give our docs folks some hints about what needs to be described to downstream users. Backwards compatibility: what happens to existing data or deployments when this code is shipped? Do we need to instruct users to do something to upgrade their saved data? If there is no upgrade path possible, how bad will that be for users? --> ### Testing Considerations <!-- Every PR should of course come with tests of its own functionality. What additional tests are still needed beyond those unit tests? How does this affect CI, other test automation, or the testnet? --> ### Upgrade Considerations The one behavior change is to omit non-remotables from the board, but nothing should have been doing that and if it was this error will help. Of course that doesn't need to go out in any particular chain upgrade, but it could to minimize divergence from master until, - #9252
#endo-branch: master
refs: #1488
Description
Adapt to actual Passable type
Reviewers, the bar as yet is not whether to merge to this repo. This PR is to serve as evidence that endojs/endo#2238 can merge and release and agoric-sdk can quickly adopt the new Endo packages.
Once the required Endo code is available by NPM,
#endo-branch
pragmaSecurity Considerations
Scaling Considerations
Documentation Considerations
Testing Considerations
To test locally,
Upgrade Considerations