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

Include typedefs in the JSON type definition #505

Merged
merged 1 commit into from
Jan 2, 2018
Merged

Conversation

tobie
Copy link
Collaborator

@tobie tobie commented Jan 2, 2018

Closes #504.


Preview | Diff

@tobie tobie merged commit 3bcebf8 into whatwg:master Jan 2, 2018
@tobie tobie deleted the fix-504 branch January 2, 2018 23:40
@TimothyGu
Copy link
Member

Are there tests for this?

@domenic
Copy link
Member

domenic commented Jan 2, 2018

It appears yes: web-platform-tests/wpt#7308

@tobie
Copy link
Collaborator Author

tobie commented Jan 3, 2018

I can't believe I fixed that in the test suite but not in the spec. o_O

There doesn't seem to be a Chromium bug for this. However, issue 740094 (and more specifically, this diff) seems to fix the problem. Not sure how we should proceed here. File a bug against Chromium and reference it from issue 740094?

@TimothyGu
Copy link
Member

Indeed, seems like this is fixed on Chrome dev channel (should've tested that before...).

screenshot from 2018-01-03 09-46-48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants