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

Update to use new Streams algorithms #225

Merged
merged 1 commit into from
Sep 15, 2020

Conversation

domenic
Copy link
Contributor

@domenic domenic commented Aug 27, 2020

Follows whatwg/streams#1073.

Also while I was there I changed the dictionary literals to use Infra ordered map syntax and omit some members, instead of using JS object syntax and passing undefined, since we are in the Web IDL/Infra layer instead of the JS layer.

This shouldn't be merged until the Streams PR is merged (and has had time to make its way into the linking databases), but it's worth reviewing.


Preview | Diff

@domenic
Copy link
Contributor Author

domenic commented Sep 15, 2020

This should be mergeable now!

Copy link
Contributor

@mkruisselbrink mkruisselbrink left a comment

Choose a reason for hiding this comment

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

Thanks!

@mkruisselbrink mkruisselbrink merged commit e9e12a6 into WICG:master Sep 15, 2020
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