[relaxng-user] Re: Jing and libxml2 is right, Trang is wrong

[David Tolpin]

Hi,

after looking at the spec, I admit that both Jing and libxml2 are right
reporting the above Relax NG XML Syntax grammar as wrong; the production
rules for the XML Syntax require that start element only has one child.

So, Trang should have transformed the compact syntax into the XML syntax
by wrapping the contents of 'start' element into a group.

However, I have a doubt regarding the specification logic. Disallowing
implicit grouping in <start>, while it is allowed in other contents,
does not seem right to me.

Restrictions on the start element are checked after the simplification,
thus this syntactic restriction does not actually help anything.

Shouldn't the production for start be 

start ::= <start [combine="method"]> pattern+ </start>

?

David Tolpin