W3C home > Mailing lists > Public > public-script-coord@w3.org > July to September 2013

[Bug 20481] Grammar Fixes needed: Dominique's feedback + Microsoft's feedback

From: <bugzilla@jessica.w3.org>
Date: Sun, 04 Aug 2013 06:26:30 +0000
To: public-script-coord@w3.org
Message-ID: <bug-20481-3890-lOw0DhYHYw@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20481

Cameron McCormack <cam@mcc.id.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Cameron McCormack <cam@mcc.id.au> ---
(In reply to comment #0)
> DOM Recently wrote to the public-script-coord list about the current WebIDL
> grammar having errors:
> 
> http://lists.w3.org/Archives/Public/public-script-coord/2012OctDec/0398.html

That's difficult for me to use to fix the grammar in the spec.  If specific
errors in the grammar could be pointed out, that would be helpful.

> In addition, some developers on the IE team have raised similar complaints
> about errors in the grammar:
> 
> "Other includes "other" which eats the ] <-- So you can't break out of an
> attribute.

The intention was to always match quoted terminal symbols rather than the named
terminal symbols, not just for identifier.  I've mentioned that now:

http://dev.w3.org/cvsweb/2006/webapi/WebIDL/Overview.xml.diff?r1=1.675;r2=1.676;f=h
http://dev.w3.org/cvsweb/2006/webapi/WebIDL/v1.xml.diff?r1=1.117;r2=1.118;f=h

> "we [should] remove "other" as an option and fully specify those values we
> expect to see in Other. For instance, we already added things like "-" and
> ".", so just continue adding as many as are necessary. Also, to simplify
> Other we should remove redundancy.  There are 6 basic tokens:

The "other" terminal symbol is meant to match any text that isn't one of the
quoted terminals or float/integer/etc.  So I think it needs to match any
character except for any character that could possibly match the other named
terminals.

> "integer, float, identifier, string, whitespace, and other. If we remove
> other and whitespace is already eaten between any tokens implicitly, then
> the correct production is:
> 
> "Other = float / integer / identifier / string / ... { list of other tokens
> we want to allow }

I don't think we want to leave out "other" from Other.

Please reopen if I've misunderstood.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Sunday, 4 August 2013 06:30:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:37:50 UTC