On Mon, Sep 19, 2011 at 08:19:09PM -0400, Bruce Miller wrote: > Hi all; > > I seem to have just rediscovered (the hard way) > https://bugzilla.gnome.org/show_bug.cgi?id=400223 > basically that libxml2 rejects an interleave of an > interleave. Or more specifically: > <a/><c/><b/><d/> > doesn't match > e & f > where > e = a & b > and > f = c & d > > Jing passes this, however. > > It was also discussed on the mailing list, with > an nice, if somewhat opaque, explanation from Bjoern: > http://mail.gnome.org/archives/xml/2007-January/msg00144.html > > Any chance of an update?
Unlikely honnestly. Basically the mechanism used by libxml2 to do the RNG validation is very different from the derivation mechanism suggested by James Clark, and while interleaves are trivial in derivation, it's way harder in my scheme, and interleave of an interleave really gets untractable. The issue is know for a very long time and unfortunately I don't think I would have time to try to fix this as this would likely require a very seriour reimplementation. sorry, Daniel -- Daniel Veillard | libxml Gnome XML XSLT toolkit http://xmlsoft.org/ dan...@veillard.com | Rpmfind RPM search engine http://rpmfind.net/ http://veillard.com/ | virtualization library http://libvirt.org/ _______________________________________________ xml mailing list, project page http://xmlsoft.org/ xml@gnome.org http://mail.gnome.org/mailman/listinfo/xml