[Bug 1882] comment syntax

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1882





------- Additional Comments From cmsmcq@w3.org  2005-08-30 16:33 -------
Good catch.  But I think the new rule should continue to
forbid comment-end delimiters, otherwise we risk recreating
the mirror image of this problem.

I think:

[155] CommentContents ::= (Char+ - (Char* ('(:'|':)') Char*))

(although i am not sure why the first token on the RHS is
Char+ instead of Char*.  By the current rule, (::) is not
a legal comment, which seems restrictive.

Received on Tuesday, 30 August 2005 16:33:34 UTC