More from Chris King.
Liam
--
Liam Quin, W3C XML Activity Lead, liam@w3.org, http://www.w3.org/People/Quin/
http://www.holoweb.net/~liam/
Ankh's list of IRC clients: http://www.valinor.sorcery.net/clients/
Forwarded message 1
On Tue, Feb 04, 2003 at 10:46:14AM -0500, Liam Quin wrote:
> On Mon, Feb 03, 2003 at 11:01:59PM -0500, Chris King wrote:
> > I have come across an error in the EBNF production [65]
I'm sorry to have been a bother, but want to stamp on my own hands
for the suggestion that XML1.0 production [65] is in error.
On looking again (and thinking more clearly), the current production:
Ignore ::= Char* - (Char* ('<![' | ']]>') Char*)
...IS equivalent to:
Ignore ::= Char* - (Char* '<![' Char* | Char* ']]>' Char*)
...but I WAS WRONG to then say that the following is equivalent:
Ignore ::= ( Char* - (Char* '<![' Char*) )
| ( Char* - (Char* ']]>' Char*) )
My following deductions were therefore inapplicable. However, to my mind
(not to be trusted, mind you) I still find the following clearer:
Ignore ::= Char* - (Char* '<![' Char*) - (Char* ']]>' Char*)
Tail between legs,
Chris King