← Prev in month ← Prev in thread

[relax-ng] list//interleave

From
James Clark <>
Date
2001-10-12T07:14:23+00:00
ID
009201c152ed$2dc75710$
Thread
[relax-ng] list//interleave
The restriction we agreed on interleave isn't sufficient for the case of
interleave inside list.  Exponential blowup is possible using
list/interleave/value.

One solution is

1. Disallow list//interleave//data
2. Require all <value> in a given interleave to have the same type and
datatypeLibrary.
3. Make it an error if there is a value that occurs in both operands of an
interleave

Another possible solution would be to disallow interleave in list altogther.

James
← Prev in month ← Prev in thread