<semantics>, RelaxNG and validator.w3.org

Dear all,

I've tried to improve implementation of <semantics> in Gecko and written 
some testcases. For people interested in the bug details: 
https://bugzilla.mozilla.org/show_bug.cgi?id=745131. Some remarks:

- An empty <semantics></semantics> is invalid. In Gecko, I'll display an 
"invalid-markup" message (and probably send a console error when Raymond 
Wells is done with implementing this feature).
- <annotation> and <annotation-xml> are not accepted as a first child. 
In Gecko, I'll allow this case to address Jacques Distler's use case. 
Perhaps the RelaxNG schema should be modified.
- I get messages "Bad value application/mathml-presentation+xml for 
attribute encoding on element annotation-xml." and similarly for other 
values like "image/svg+xml" or "unknown". The RelaxNG schema seems to 
allow any string though so I guess it is something specific to 
validator.w3.org.
- Including <html> in an <annotation-xml> does not seem to validate

Perhaps there are confusions with HTML5/XHTML and RelaxNG/DTD 
validations in what I said, but I'd be happy to hear other people 
experience with <semantics> and validation.

-- 
Frédéric Wang
maths-informatique-jeux.com/blog/frederic

Received on Thursday, 1 November 2012 14:02:02 UTC