Re: E rcase-RecurseLax.1: Group's occurrence range, (1,unbounded), is not a valid restriction of base group's occurrence range, (1,1).

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Michael Kay writes:

> Xerces reports this invalid, but Saxon, XSV, MSXML, and the .NET parser all
> report it valid.
>
> So it may be a Xerces problem.
>
> (Saxon's evidence in this case isn't particularly reliable, because it uses
> a different algorithm for determining whether one type is a valid
> restriction of another, an algorithm which is closer to the intent of the
> spec than the published rules. This might also apply to XSV, I'm not sure.)

Indeed XSV uses a simplified rule, which is closer to the _intent_,
although not the letter, of the spec.  I _hope_ version 1.1 of W3C XML
Schema will shift to the simplified rule.

I agree that the fact that the constructive rules of 1.0 rule this
case out is perverse.

ht
- -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD4DBQFD8aUFkjnJixAXWBoRApMRAJj7kruAxAr9alC/pw4DSOGGPUdNAJ96rsyD
1i2Emk2q5QATsqp8nOIdVg==
=dQdn
-----END PGP SIGNATURE-----