Re: [xml] RelaxNG interleave, bug 400223

[Daniel Veillard <veillard redhat com>]

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/
daniel veillard com  | Rpmfind RPM search engine http://rpmfind.net/
http://veillard.com/ | virtualization library  http://libvirt.org/