search

w3c / reporting

Reporting API
https://w3c.github.io/reporting/
Other
76 stars 36 forks source link

Editorial: Update use of WebIDL "invoke a callback function" #270

Closed jeremyroman closed 3 months ago

jeremyroman commented 3 months ago

This algorithm can now handle the need to report an exception thrown by the callback. Some small tweaks are made for consistency with other specifications.

Part of whatwg/webidl#1425.

jeremyroman commented 3 months ago

@clelland have a chance to look?

clelland commented 3 months ago

The extra and "`report\`" kinda threw me for a minute there, until I realized it wasn't related to this spec's reports :)

LGTM, thanks!

jeremyroman commented 3 months ago

I don't have write access to this repository; is it possible for you to merge for me? (there does seem to be a build failure is unrelated to my change, though)

clelland commented 3 months ago

Yeah, there is a build failure; I'm going to see if I can clean that up first and then commit this.