Re: [whatwg/webidl] Replace the word "quoted" from IDL grammar section (#976) from Darien Maillet Valentine on 2022-10-11 (public-webapps-github@w3.org from October 2022)

From: Darien Maillet Valentine <notifications@github.com>
Date: Tue, 11 Oct 2022 15:03:26 -0700
To: whatwg/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/webidl/issues/976/1275326465@github.com>

> "literal terminal symbol"

I agree that this is a good description. My only concern is that it may make it even easier to miss that these are “genuine” terminal symbols on the same footing as those defined using regular expressions, [not “refinements”](https://github.com/whatwg/webidl/issues/812) that constrain the latter to specific source character sequences as is common in [other language specs](https://tc39.es/ecma262/#sec-terminal-symbols). Maybe that’s a separate issue, but it’s caused repeated problems, so I worry about confusing it further.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/issues/976#issuecomment-1275326465

You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/issues/976/1275326465@github.com>

Received on Tuesday, 11 October 2022 22:03:38 UTC