On Tue, 2008-01-08 at 10:31 +0000, Jon Fairbairn wrote:
Thanks for finding that (I do hate the way that the W3C issues proper formal definitions of things but makes the informal one the normative one); I can use it to check attribute types and so on. Does it enforce the nesting restrictions (described in app. B of the xhtml1 dtd)? Looking through it with little knowledge of schemas, I can't see that it does.
Yes this is really frustrating. I think the schema is supposed to enforce nesting restrictions. At least that's how i interpret paragraph 1.3[1] in the Note. It doesn't seem to be able to enforce everything though (eg. the legend example in 1.3).
Making a program for generating ADT's and combinators from XML schemas to provide type safe XML is something i'd very much like to do someday.
It would be a good thing to do, though not something I'm thinking of just now (a bit too much for me at the moment).
Same here i think. It's on my TODO though. :) Mattias 1: http://www.w3.org/TR/xhtml1-schema/#why