- From: Anne van Kesteren <notifications@github.com>
- Date: Wed, 12 Oct 2022 09:39:04 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 12 October 2022 16:39:17 UTC
They are both terminal symbols, but if you say that `long` is not an identifier "`long`" how is it unclear which terminal symbol you meant? But if we truly want to distinguish them we should give them different names. E.g., generic terminal symbols and specific terminal symbols. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1216#issuecomment-1276455727 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1216/c1276455727@github.com>
Received on Wednesday, 12 October 2022 16:39:17 UTC