- From: Domenic Denicola <notifications@github.com>
- Date: Tue, 20 Jun 2023 19:11:19 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 21 June 2023 02:11:25 UTC
@domenic approved this pull request. It's not fully clear this is necessary, because of the implicit conversion between completion values and ECMAScript return values/thrown exceptions, which most of the Web IDL spec somewhat assumes. However, I think most of the spec tries to stay rigorous about the separation between IDL values and ECMAScript values. So for that improvement alone, let's merge this. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1324#pullrequestreview-1489511909 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1324/review/1489511909@github.com>
Received on Wednesday, 21 June 2023 02:11:25 UTC