20481 2012-12-21 18:35:56 +0000 Grammar Fixes needed: Dominique's feedback + Microsoft's feedback 2013-08-08 19:09:08 +0000 1 1 1 Unclassified WebAppsWG WebIDL unspecified PC Windows NT CLOSED FIXED [v1] P2 normal --- 1 travil cam mike public-script-coord public-webapps-bugzilla oldest_to_newest 80502 0 travil 2012-12-21 18:35:56 +0000 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 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. "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: "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 } 91596 1 cam 2013-08-04 06:26:30 +0000 (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. 91802 2 travil 2013-08-08 19:09:08 +0000 Works for me. Thanks!