Skip to content

chore: improve type definitions#3808

Merged
WilcoFiers merged 2 commits intodevelopfrom
improved-types
Dec 5, 2022
Merged

chore: improve type definitions#3808
WilcoFiers merged 2 commits intodevelopfrom
improved-types

Conversation

@WilcoFiers
Copy link
Copy Markdown
Contributor

Address some issues introduced in #3798

  1. Separate SerialContextObject from FrameContextObject
  2. Allow changing the reporter type
  3. Fix issue with the frameSelector type -- This should have been a CrossTreeSelector

straker
straker previously requested changes Dec 2, 2022
Copy link
Copy Markdown
Contributor

@straker straker left a comment

Choose a reason for hiding this comment

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

Tested this on one of our apis and it seems to work. Would like @michael-siek to approve this as well before we merge.

Co-authored-by: Steven Lambert <2433219+straker@users.noreply.github.com>
@WilcoFiers WilcoFiers merged commit 284a5c2 into develop Dec 5, 2022
@WilcoFiers WilcoFiers deleted the improved-types branch December 5, 2022 16:43
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.

3 participants